1.1 --- a/src/Pure/System/gui_setup.scala	Sat Apr 17 19:35:35 2010 +0200
     1.2 +++ b/src/Pure/System/gui_setup.scala	Sat Apr 17 20:42:26 2010 +0200
     1.3 @@ -56,6 +56,7 @@
     1.4      try {
     1.5        val isabelle_system = new Isabelle_System
     1.6        text.append("Isabelle home: " + isabelle_system.getenv("ISABELLE_HOME") + "\n")
     1.7 +      text.append("Isabelle java: " + isabelle_system.this_java())
     1.8      } catch {
     1.9        case e: RuntimeException => text.append(e.getMessage + "\n")
    1.10      }