servlet: Adapt web.xml to standard so that tomcat can run it