added server.properties modification