-Disabelle.root=$APP_ROOT/Contents/Resources/{ISABELLE_NAME} -Djava.ext.dirs=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}/contrib/jdk/x86_64-darwin/Contents/Home/jre/lib/ext -Disabelle.app=true JVMArguments