--- build.xml.sav0 2007-12-23 11:11:42.000000000 +0100 +++ build.xml 2008-01-13 12:20:51.000000000 +0100 @@ -56,14 +56,9 @@ - - - - - - - - + + + @@ -798,7 +793,7 @@