changes to web.xml