changed some models (minor refactoring); added get messages methods to
PushManager.cs