Update web.xml

#5019