Fixed a problem with parsing server.properties