#! /bin/bash 
#
#     JFlex start script 
#
# configurables:

# path to the java interpreter
: ${JAVA=/usr/local/jdk1.6/bin/java}

# end configurables

# calculate true location
: ${JFLEX_HOME=/usr/local/jflex}

# --------------------------------------------------------------------

export CLASSPATH
CLASSPATH=`cygpath -m ${JFLEX_HOME}/lib/JFlex.jar`

$JAVA -Xmx128m JFlex.Main "$@"