web.xml updated