src/Pure/library.scala

--- a/src/Pure/library.scala	Fri Apr 25 20:21:27 2014 +0200
+++ b/src/Pure/library.scala	Fri Apr 25 21:31:39 2014 +0200
@@ -10,8 +10,6 @@
 
 import scala.collection.mutable
 
-import java.util.concurrent.{Future => JFuture, TimeUnit}
-
 
 object Library
 {
@@ -174,13 +172,4 @@
   val quote = Library.quote _
   val commas = Library.commas _
   val commas_quote = Library.commas_quote _
-
-
-  /* parallel tasks */
-
-  implicit def function_as_callable[A](f: () => A) =
-    new java.util.concurrent.Callable[A] { def call = f() }
-
-  val default_thread_pool =
-    scala.collection.parallel.ForkJoinTasks.defaultForkJoinPool
 }