Added default server.properties