minor step towards making web.xml tomcat 4.0 compatible.