1.1 --- a/Admin/mira.py	Wed Mar 28 17:57:23 2012 +0200
     1.2 +++ b/Admin/mira.py	Thu Mar 29 08:59:56 2012 +0200
     1.3 @@ -58,7 +58,10 @@
     1.4  ISABELLE_PATH="%s"
     1.5  
     1.6  ISABELLE_USEDIR_OPTIONS="%s"
     1.7 +
     1.8 +[[ -z "$ISABELLE_JDK_HOME" ]] && ISABELLE_JDK_HOME="$ISABELLE_HOME/contrib/jdk"
     1.9  Z3_NON_COMMERCIAL="yes"
    1.10 +
    1.11  %s
    1.12  ''' % (isabelle_path, usedir_options, more_settings)
    1.13