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