diff -r 315f9b4f9e7a -r 51442c6dc296 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Mon Dec 21 22:03:39 2020 +0100
+++ b/src/Pure/System/isabelle_system.scala	Mon Dec 21 22:47:53 2020 +0100
@@ -356,9 +356,6 @@
         watchdog = watchdog, strict = strict)
   }
 
-  def jconsole(): Process_Result =
-    bash("isabelle_jdk jconsole " + java.lang.ProcessHandle.current().pid).check
-
   private lazy val gnutar_check: Boolean =
     try { bash("tar --version").check.out.containsSlice("GNU tar") || error("") }
     catch { case ERROR(_) => false }