amend web.xml