--- jflex-1.4.1/src/build.xml.orig	2006-09-09 07:56:40.000000000 +0200
+++ jflex-1.4.1/src/build.xml	2006-09-09 08:10:26.000000000 +0200
@@ -7,10 +7,10 @@
   <property file="${user.home}/.jflex.properties" />
   
   <!-- location of development tools necessary for the build -->
-  <property name="tools.dir" value="../tools"/>
+  <property name="tools.dir" value="/usr/share/java"/>
   
   <!-- override these if you want to use your own versions -->
-  <property name="jflex.jar" value="${tools.dir}/JFlex.jar" />
+  <property name="jflex.jar" value="${tools.dir}/jflex.jar" />
   <property name="cup.jar" value="${tools.dir}/java_cup.jar" />
 
   <!-- where to get jflex.jar and cup.jar from -->
@@ -25,7 +25,6 @@
   <target name="help" description="show help message">
   	<echo message="Ant build file for JFlex. Useful targets:"/> 
   	<echo message=""/> 
-  	<echo message="gettools:   download development tools for the build"/> 
   	<echo message="realclean:  remove all compiled and generated files"/>
   	<echo message="jar:        make JFlex.jar"/> 
   	<echo message=""/> 
@@ -38,12 +37,6 @@
     <taskdef classname="java_cup.AntTask" name="cup" classpath="${cup.jar}"/>
   </target>
 
-  <target name="gettools" description="download development tools">
-    <mkdir dir="${tools.dir}"/>
-    <get src="${jflex.jar.url}" dest="${jflex.jar}"/>
-    <get src="${cup.jar.url}" dest="${cup.jar}"/>
-  </target>
-
   <target name="dist" description="build distribution">
     <antcall target="build" />
     <antcall target="libclean" />