--- build.xml 2002-04-26 20:08:20.000000000 +0200 +++ build.xml 2004-09-17 15:29:55.363150376 +0200 @@ -236,6 +236,7 @@ optimize="${optimize}" deprecation="${deprecation}"> + @@ -248,6 +249,8 @@ + + @@ -281,6 +284,7 @@ +