changes done to the formatter and server.xml