--- build.xml.sav 2006-04-11 17:21:19.000000000 +0200 +++ build.xml 2006-04-11 17:22:35.000000000 +0200 @@ -51,7 +51,8 @@ - + + @@ -475,7 +476,8 @@ - + + @@ -585,7 +587,7 @@