Reset a lot of server.properties values to correct defaults.