revert accidental changes to web.xml