--- build.xml.orig 2005-05-22 17:13:28.000000000 +0200
+++ build.xml 2005-05-22 17:20:32.000000000 +0200
@@ -83,6 +83,12 @@
+
+
+
+
+
+
@@ -160,7 +166,7 @@
-
+
@@ -188,12 +194,12 @@
-
+
-
+
@@ -205,7 +211,7 @@
-
+
@@ -223,7 +229,7 @@
-
+
@@ -265,7 +271,7 @@
-
@@ -398,7 +404,7 @@
deprecation="${compile.deprecation}"
optimize="${compile.optimize}" >
-
+