--- toolsrc/build.xml 2004-03-25 15:54:34.000000000 +0100 +++ toolsrc/build-patch.xml 2004-06-19 23:48:07.225123288 +0200 @@ -20,7 +20,6 @@ -