Web.xml reformatted