Don't need empty server.properties.