src/Tools/jEdit/src/documentation_dockable.scala

--- a/src/Tools/jEdit/src/documentation_dockable.scala	Fri Apr 25 20:07:39 2014 +0200
+++ b/src/Tools/jEdit/src/documentation_dockable.scala	Fri Apr 25 20:21:27 2014 +0200
@@ -68,13 +68,14 @@
                 if (path.is_file)
                   PIDE.editor.goto_file(view, Isabelle_System.platform_path(path))
                 else {
-                  default_thread_pool.submit(() =>
+                  Future.fork {
                     try { Doc.view(path) }
                     catch {
                       case exn: Throwable =>
                         GUI.error_dialog(view,
                           "Documentation error", GUI.scrollable_text(Exn.message(exn)))
-                    })
+                    }
+                  }
                 }
               case _ =>
             }