format PushNotificationManager code.