--- build.xml.orig 2011-01-25 17:33:24.750473340 +0100 +++ build.xml 2011-01-25 17:07:14.657410373 +0100 @@ -176,7 +176,9 @@ + @@ -433,13 +435,17 @@ + +