/// <summary>
 /// Initializes a new instance of the AndroidDevice class.
 /// </summary>
 public AndroidDevice()
 {
     this.push = new Push();
 }
 /// <summary>
 /// Initializes a new instance of the WP7Device class.
 /// </summary>
 /// initialize all our managers
 public WP7Device()
 {
     this.push = new Push();
 }
 /// <summary>
 /// Initializes a new instance of the IosDevice class.
 /// </summary>
 /// It also initializes supporting manager classes. 
 public iOSDevice()
 {
     this.push = new Push();
 }
 /// <summary>
 /// Initializes a new instance of the IosDevice class.
 /// </summary>
 /// It also initializes supporting manager classes.
 public iOSDevice()
 {
     this.push = new Push();
 }
 /// <summary>
 /// Initializes a new instance of the AndroidDevice class.
 /// </summary>
 public AndroidDevice()
 {
     this.push = new Push();
 }
 /// <summary>
 /// Initializes a new instance of the WP7Device class.
 /// </summary>
 /// initialize all our managers
 public WP7Device()
 {
     this.push = new Push();
 }