--- tools/build.xml.orig	2006-10-02 10:18:43.000000000 +0200
+++ tools/build.xml	2006-10-02 10:21:34.000000000 +0200
@@ -66,6 +66,7 @@
   <javac srcdir="${tools.dir}" 
       debug="${debug}"
       source="${source}"
+	  target="${target}"
       nowarn="${nowarn}"
       destdir="${tools.build.dir}">
     <classpath refid="classpath"/>
@@ -77,6 +78,7 @@
   <javac srcdir="${tools.dir}" 
       debug="${debug}"
       source="${source}"
+	  target="${target}"
       nowarn="${nowarn}"
       destdir="${tools.build.dir}">
     <classpath refid="classpath"/>
@@ -88,6 +90,7 @@
   <javac srcdir="${tools.dir}"
     debug="${debug}"
     source="${source}"
+	target="${target}"
     nowarn="${nowarn}"
     destdir="${tools.build.dir}">
     <classpath>