--- build.xml.orig 2004-09-09 10:10:34.000000000 +0200 +++ build.xml 2004-09-09 10:12:54.000000000 +0200 @@ -154,7 +154,7 @@ -