Rename web.xml to web.xml.txt