#!/bin/sh
: ${OPENJML=/usr/local/openjml}
: ${JMLRUNTIME=`cygpath -w $OPENJML/jmlruntime.jar`}
CLASSPATH=".;$JMLRUNTIME;$CLASSPATH"
# echo $CLASSPATH
export CLASSPATH
java "$@"