A Pull-Push messaging platform with Android