--- build.xml.orig 2004-03-21 15:59:26.000000000 +0100 +++ build.xml 2004-03-21 16:02:02.000000000 +0100 @@ -154,6 +154,7 @@ + @@ -908,6 +909,7 @@ + @@ -959,6 +961,7 @@ +