modify web.xml file