--- a/Admin/mira.py Sun Apr 01 16:09:58 2012 +0200
+++ b/Admin/mira.py Sun Apr 01 21:12:04 2012 +0200
@@ -59,7 +59,7 @@
ISABELLE_USEDIR_OPTIONS="%s"
-[[ -z "$ISABELLE_JDK_HOME" ]] && ISABELLE_JDK_HOME="$ISABELLE_HOME/contrib/jdk"
+ISABELLE_JDK_HOME="$JAVA_HOME"
Z3_NON_COMMERCIAL="yes"
%s