--- build.xml.orig 2008-09-10 14:27:27.000000000 +0200 +++ build.xml 2008-09-10 14:28:28.000000000 +0200 @@ -24,7 +24,7 @@ - + @@ -39,14 +39,12 @@ - - - + @@ -152,15 +150,4 @@ - - - - - - - - - - -