#!/bin/sh
source $HOME/bin/openjmlinit
: ${OPENJML=/usr/local/openjml}

exec java -jar `cygpath -w $OPENJML/openjml.jar` "$@"