Added server.properties