Hi, did anyone get the badge guide up and running?

(currently at  https://developer.tizen.org/dev-guide/2.3.0/org.tizen.tutorials/html/web/tizen/ui/badge_tutorial_w.htm#manage)

The Tizen IDE builds my application just fine although the autocomplete does not find tizen.badge. I included the notification privilege in the config.xml, but when deploying the application to my samsung gear s, as well as in the emulator, the tizen.badge is undefined.

Any ideas?