updating web.xml file