--- build.xml.orig 2005-01-05 21:37:11.710210536 +0100 +++ build.xml 2005-01-05 21:44:50.430474456 +0100 @@ -20,7 +20,7 @@ - + @@ -88,18 +88,13 @@ - - + - - - - - + @@ -129,7 +124,7 @@ Use="true" /> - +