#!/bin/sh
: ${KEYDIR=/usr/local/KeY}
java -jar `cygpath -w "${KEYDIR}/key-2.8.0-exe.jar"` "$@" &