#/bin/sh
: ${CHECKERFRAMEWORK=`cygpath -m /usr/local/checker-framework`}
export CHECKERFRAMEWORK
java -jar $CHECKERFRAMEWORK/checker/dist/checker.jar "$@"