GlowstoneMC/Glowstone — pull request #393 by Johni0702 (2014-10-08 19:08:00+00:00)
Title: Convert strings to int and boolean when migrating from the server.properties

Ticket: #392
Convert strings read from the `server.properties` to `int`s or `boolean`s depending on the type of their default value.
If the value in the `server.properties` cannot be converted to an integer but is supposed to be one, prints out a warning and continues with the next property.