web.xml file modified