Changes to web.xml