--- build.xml 2011-01-16 21:29:49.000000000 +0100 +++ build.xml-gil 2011-01-16 21:31:15.000000000 +0100 @@ -72,11 +72,9 @@ --> -