modify web.xml