--- a/src/Pure/PIDE/xml.scala Mon Sep 05 14:42:31 2011 +0200
+++ b/src/Pure/PIDE/xml.scala Mon Sep 05 20:30:37 2011 +0200
@@ -11,7 +11,6 @@
import java.lang.ref.WeakReference
import javax.xml.parsers.DocumentBuilderFactory
-import scala.actors.Actor._
import scala.collection.mutable