Update web.xml

manual push