--- a/lib/Tools/process Thu Mar 10 12:11:50 2016 +0100
+++ b/lib/Tools/process Thu Mar 10 17:30:04 2016 +0100
@@ -19,4 +19,4 @@
mkdir -p "$ISABELLE_TMP_PREFIX" || exit $?
-"$ISABELLE_TOOL" java isabelle.ML_Process "$@"
+isabelle java isabelle.ML_Process "$@"