diff -ur work.old/build.xml work/build.xml --- work.old/build.xml 2008-02-17 18:33:06.000000000 +0200 +++ work/build.xml 2008-02-17 18:33:26.000000000 +0200 @@ -124,14 +124,6 @@ - - - - - - - -