diff -r 6dc97c5aaf5e -r 1da2272a06a4 src/Tools/jEdit/src/active.scala
--- a/src/Tools/jEdit/src/active.scala	Fri Apr 25 20:07:39 2014 +0200
+++ b/src/Tools/jEdit/src/active.scala	Fri Apr 25 20:21:27 2014 +0200
@@ -30,25 +30,23 @@
             // FIXME avoid hard-wired stuff
             elem match {
               case XML.Elem(Markup(Markup.BROWSER, _), body) =>
-                default_thread_pool.submit(() =>
-                  {
-                    val graph_file = Isabelle_System.tmp_file("graph")
-                    File.write(graph_file, XML.content(body))
-                    Isabelle_System.bash_env(null,
-                      Map("GRAPH_FILE" -> Isabelle_System.posix_path(graph_file)),
-                      "\"$ISABELLE_TOOL\" browser -c \"$GRAPH_FILE\" &")
-                  })
+                Future.fork {
+                  val graph_file = Isabelle_System.tmp_file("graph")
+                  File.write(graph_file, XML.content(body))
+                  Isabelle_System.bash_env(null,
+                    Map("GRAPH_FILE" -> Isabelle_System.posix_path(graph_file)),
+                    "\"$ISABELLE_TOOL\" browser -c \"$GRAPH_FILE\" &")
+                }
 
               case XML.Elem(Markup(Markup.GRAPHVIEW, _), body) =>
-                default_thread_pool.submit(() =>
-                  {
-                    val graph =
-                      Exn.capture {
-                        isabelle.graphview.Model.decode_graph(body)
-                          .transitive_reduction_acyclic
-                      }
-                    Swing_Thread.later { Graphview_Dockable(view, snapshot, graph) }
-                  })
+                Future.fork {
+                  val graph =
+                    Exn.capture {
+                      isabelle.graphview.Model.decode_graph(body)
+                        .transitive_reduction_acyclic
+                    }
+                  Swing_Thread.later { Graphview_Dockable(view, snapshot, graph) }
+                }
 
               case XML.Elem(Markup(Markup.SENDBACK, props), _) =>
                 props match {