Format web.xml