--- build.xml.orig 2007-10-15 09:49:36.000000000 +0200 +++ build.xml 2008-01-22 13:52:37.000000000 +0100 @@ -109,10 +109,7 @@ - - - - +