--- build.xml 2009-01-31 16:14:57.000000000 +0200 +++ build.xml.fixed 2009-01-31 16:17:14.000000000 +0200 @@ -35,7 +35,7 @@ - + @@ -69,7 +69,7 @@ - + @@ -79,7 +79,8 @@