Patching web.xml.