--- build.xml 2007-01-05 21:30:59.000000000 +0100 +++ build.xml 2007-01-05 21:31:46.000000000 +0100 @@ -47,7 +47,7 @@ - + @@ -61,7 +61,7 @@ - +