updating web.xml