An editor for the server.properties files in Minecraft servers