--- build.xml.orig 2006-04-23 03:57:27.000000000 +0200 +++ build.xml 2006-10-01 21:18:20.000000000 +0200 @@ -223,10 +223,12 @@ +