lib/scripts/getsettings

   ML_IDENTIFIER="$ML_SYSTEM"
 else
   ML_IDENTIFIER="${ML_SYSTEM}_${ML_PLATFORM}"
 fi
 
+#enforce JAVA_HOME
+export JAVA_HOME="$ISABELLE_JDK_HOME"
+
 ISABELLE_OUTPUT="$ISABELLE_OUTPUT/$ML_IDENTIFIER"
 
 set +o allexport
 
 fi