web.xml changes