src/Pure/System/gui_setup.scala

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