I am trying to develop an app requiring push notifications for Series 40 phones. While doing some research I came across the following APIs, which I am not able to find in any of the SDKs published by Nokia for Series 40 phones. Can someone help me as to where can i find these? Also if any documentation is available for these APIs?

com.nokia.notifications.NotificationException;
com.nokia.notifications.NotificationInfo;
com.nokia.notifications.NotificationMessage;
com.nokia.notifications.NotificationPayload;
com.nokia.notifications.NotificationSession;
com.nokia.notifications.NotificationSessionFactory;
com.nokia.notifications.NotificationSessionListener;
com.nokia.notifications.NotificationState;
com.nokia.notifications.installer.InstallListener;

Thanks.