--- jflex-1.4.2/src/build.xml.orig	2008-08-07 13:01:10.926485858 -0400
+++ jflex-1.4.2/src/build.xml	2008-08-07 13:03:33.725486421 -0400
@@ -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" />
   <property name="junit.jar" value="${tools.dir}/junit.jar" />
 
@@ -28,12 +28,16 @@
   <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=""/> 
+<!--
   	<echo message="Use the gettool target or override the *.jar properties"/>
   	<echo message="before you do the first build."/> 
+-->
   </target> 
 
   <target name="declare" description="define tasks for jflex and cup">
@@ -41,12 +45,14 @@
     <taskdef classname="java_cup.anttask.CUPTask" 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}"/>
     <get src="${junit.jar.url}" dest="${junit.jar}"/>
   </target>
+-->
 
   <target name="dist" description="build distribution">
     <antcall target="gettools" />