web.xml updates