--- build.xml.orig	2010-01-16 17:30:19.000000000 +0100
+++ build.xml	2010-01-16 17:30:26.000000000 +0100
@@ -90,11 +90,6 @@
     </copy>
     <rmic base="${build}/classes"
        classname="weka.experiment.RemoteEngine"/>
-    <unzip src="${lib}/java-cup.jar" dest="${build}/classes">
-      <patternset>
-        <include name="java_cup/runtime/**/*"/>
-      </patternset>
-    </unzip>
   </target>
 
   <!-- Make the javadocs -->