--- build.xml	2003-02-10 19:12:55.000000000 +0100
+++ build.xml.patched	2006-02-07 19:23:22.000000000 +0100
@@ -327,8 +327,7 @@
            destdir="${build.classes}"
            debug="${debug}"
            optimize="${optimize}"
-           deprecation="${deprecation}"
-           target="1.2">
+           deprecation="${deprecation}">
       <classpath>
         <path refid="project.class.path" />
         <path refid="tools.class.path"/>