Delete web.xml.orig