/// <summary>
 /// Creates a new Java server settings object with the specified unique identifier.
 /// </summary>
 /// <param name="id">The unique identifier that this configuration should be associated with.</param>
 public JavaServerConfiguration(Guid id) : base(id)
 {
     ServerPort = new WebPort(25565);
 }
 /// <summary>
 /// Creates a new Java server settings object with a random unique identifier.
 /// </summary>
 public JavaServerConfiguration()
 {
     ServerPort = new WebPort(25565);
 }