Modify: the web.xml