--- build.xml.orig	2004-12-19 18:15:47.840287952 +0100
+++ build.xml	2004-12-19 18:19:13.831972456 +0100
@@ -58,24 +58,32 @@
   <!-- Compile the sources -->
   <target name="compile" depends="init">
     <mkdir dir="${build.dest}"/>
-    <javac srcdir="${src.dir}" destdir="${build.dest}" classpath="${class.path}" debug="true"/>
+    <javac srcdir="${src.dir}" 
+	    destdir="${build.dest}" 
+	    classpath="${class.path}" 
+	    debug="off" 
+	    target="1.4" 
+	    source="1.4">
+    	<classpath>
+		<pathelement path="${regexp.jar}"/>
+	</classpath>
+    </javac>
   </target>
 
   <!-- Just an alias -->
   <target name="build" depends="compile"/>
 
   <!-- Jar the library -->
-  <target name="jar" depends="examples">
+  <target name="jar" depends="compile">
     <jar jarfile="${build.dir}/${name}.jar" 
          basedir="${build.dest}"
-	 manifest="${basedir}/manifest.txt"
 	 includes="org/**,listclass.class"
     />
   </target>
 
   <!-- Compile the examples -->
   <target name="examples" depends="compile">
-    <javac srcdir="${examples.dir}" destdir="${build.dest}" classpath="${class.path}" />
+    <javac srcdir="${examples.dir}" destdir="${build.dest}" classpath="${class.path}" target="1.4" source="1.4"/>
   </target>
 
   <!-- Creates the API documentation -->