Update web.xml.