Update web-xml-fragment.txt