#! /bin/bash 
#
# JFlex start script $Revision: 2.0 $
#
# Configurables:

JAVA=/usr/csshare/pkgs/jdk1.5.0_05/bin/java
JFLEX_HOME=/usr/csshare/pkgs/jflex-1.4.1/ 

export CLASSPATH
CLASSPATH=$JFLEX_HOME/lib/JFlex.jar

$JAVA JFlex.Main $@

#for more memory:
#$JAVA -Xmx128m JFlex.Main $@