edit server.xml