--- a/bin/isabelle_java	Mon Oct 03 16:50:29 2016 +0200
+++ b/bin/isabelle_java	Mon Oct 03 17:23:33 2016 +0200
@@ -64,6 +64,7 @@
     echo "Unknown JAVA_HOME -- Java unavailable" >&2
     exit 127
   else
+    unset ISABELLE_HOME
     unset CLASSPATH
     exec "$JAVA_HOME/bin/java" "${JAVA_ARGS[@]}" -classpath "$ISABELLE_CLASSPATH" "$@"
   fi
changeset 64022	3c0193f82d20
parent 63995	2e4d80723fb0
child 64035	90017a182892