Add a function to reset to Minecraft default server properties