Update web.xml
Update web.xml

Former-commit-id: cb883bdcb8fb9f0a7f4530267f36c2fb67e510db
jgraph/draw.io,jgraph/draw.io,jgraph/draw.io,jgraph/draw.io,jgraph/drawio,jgraph/draw.io,jgraph/drawio,jgraph/drawio