--- build.xml.sav 2008-07-05 16:42:38.000000000 +0200 +++ build.xml 2008-07-05 16:43:48.000000000 +0200 @@ -236,8 +236,10 @@ +