--- jflex/bin/jflex.orig	2003-01-07 16:29:31.000000000 +0100
+++ jflex/bin/jflex	2005-10-06 21:16:57.000000000 +0200
@@ -42,8 +42,9 @@
 
 # --------------------------------------------------------------------
 
+CLASSPATH=/usr/share/java/JFlex.jar:${CLASSPATH}
 export CLASSPATH
-CLASSPATH=$JFLEX_HOME/lib/JFlex.jar
+
 
 $JAVA JFlex.Main $@