Updated javadocs for PushManager