Admin/mira.py

--- a/Admin/mira.py	Wed Mar 28 17:57:23 2012 +0200
+++ b/Admin/mira.py	Thu Mar 29 08:59:56 2012 +0200
@@ -58,7 +58,10 @@
 ISABELLE_PATH="%s"
 
 ISABELLE_USEDIR_OPTIONS="%s"
+
+[[ -z "$ISABELLE_JDK_HOME" ]] && ISABELLE_JDK_HOME="$ISABELLE_HOME/contrib/jdk"
 Z3_NON_COMMERCIAL="yes"
+
 %s
 ''' % (isabelle_path, usedir_options, more_settings)