server properties can be edited via GUI, saved to disk and properly read by a starting minecraft server