src/Pure/Admin/build_log.scala

--- a/src/Pure/Admin/build_log.scala	Sat Jun 27 11:25:30 2020 +0200
+++ b/src/Pure/Admin/build_log.scala	Wed Jul 01 21:14:04 2020 +0200
@@ -71,8 +71,9 @@
       def getenv(a: String): String = apply(a, Isabelle_System.getenv(a))
     }
 
-    def show(): String =
+    def show(verbose: Boolean = false): String =
       cat_lines(
+        (if (verbose) List(Entry.getenv("ISABELLE_TOOL_JAVA_OPTIONS")) else Nil) :::
         List(Entry.getenv(ISABELLE_BUILD_OPTIONS.name), "") :::
         ml_settings.map(c => Entry.getenv(c.name)))
   }