--- build.xml.orig 2009-02-15 21:06:33.000000000 +0100 +++ build.xml 2009-02-15 21:07:25.000000000 +0100 @@ -117,6 +117,7 @@ + @@ -140,6 +141,7 @@ + @@ -256,7 +258,7 @@ -