src/Pure/System/isabelle_system.scala

     Bash.process(script, cwd = cwd, env = env, redirect = redirect, cleanup = cleanup).
       result(progress_stdout = progress_stdout, progress_stderr = progress_stderr,
         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 }
 
   def gnutar(