--- build.xml.orig 2009-06-12 21:55:56.000000000 +0200 +++ build.xml 2009-06-12 22:15:35.000000000 +0200 @@ -18,7 +18,7 @@ - + @@ -72,8 +72,6 @@ - - @@ -106,17 +104,16 @@ - + -