reformatted web.xml