diff -ur jakarta-tomcat-5.5.9-src/jakarta-tomcat-catalina/webapps/manager/build.xml jakarta-tomcat-5.5.9-src.aisotton/jakarta-tomcat-catalina/webapps/manager/build.xml --- jakarta-tomcat-5.5.9-src/jakarta-tomcat-catalina/webapps/manager/build.xml 2005-03-26 20:24:10.000000000 +0100 +++ jakarta-tomcat-5.5.9-src.aisotton/jakarta-tomcat-catalina/webapps/manager/build.xml 2005-06-16 01:18:00.000000000 +0200 @@ -24,6 +24,7 @@ +