web.xml an verschiedene Tomcat-Versionen anpassen

Ich will eine Spring-Application auf einem älteren Tomcat-Server laufen lassen. Leider habe ich dazu erst sehr spät den entscheidenden Hinweis auf

http://www.coderanch.com/how-to/java/ServletsWebXml

gefunden. Web.xml muss angepasst werden.