web.xml revision