--- build.xml.orig 2008-11-29 21:16:01.000000000 +0200 +++ build.xml 2008-11-29 21:17:28.000000000 +0200 @@ -286,7 +286,7 @@ - + @@ -331,7 +331,7 @@ - +