diff -r 725a192f8081 -r 5c7ade7a1e74 src/Pure/GUI/swing_thread.scala
--- a/src/Pure/GUI/swing_thread.scala	Mon Apr 28 15:20:59 2014 +0200
+++ b/src/Pure/GUI/swing_thread.scala	Mon Apr 28 15:22:57 2014 +0200
@@ -8,13 +8,12 @@
 package isabelle
 
 
-import javax.swing.{SwingUtilities, Timer}
-import java.awt.event.{ActionListener, ActionEvent}
+import javax.swing.SwingUtilities
 
 
 object Swing_Thread
 {
-  /* checks */
+  /* context check */
 
   def assert[A](body: => A) =
   {
@@ -29,7 +28,7 @@
   }
 
 
-  /* main dispatch queue */
+  /* event dispatch queue */
 
   def now[A](body: => A): A =
   {
@@ -41,12 +40,6 @@
     }
   }
 
-  def future[A](body: => A): Future[A] =
-  {
-    if (SwingUtilities.isEventDispatchThread()) Future.value(body)
-    else Future.fork { now(body) }
-  }
-
   def later(body: => Unit)
   {
     if (SwingUtilities.isEventDispatchThread()) body