Reformat web.xml