initial version
added loading/refreshing and saving of Minecraft server.properties file