Index: jakarta-tomcat-5.0.18-src/jakarta-servletapi-5/jsr152/build.xml
===================================================================
--- jakarta-tomcat-5.0.18-src.orig/jakarta-servletapi-5/jsr152/build.xml
+++ jakarta-tomcat-5.0.18-src/jakarta-servletapi-5/jsr152/build.xml
@@ -69,6 +69,7 @@
@@ -97,6 +98,7 @@
@@ -200,6 +203,7 @@
@@ -88,6 +89,7 @@