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