Provide an example about to change server.xml