src/Pure/PIDE/xml.scala
changeset 44721 ba478c3f7255
parent 44705 089fcaf94c00
child 44808 05b8997899a2
     1.1 --- a/src/Pure/PIDE/xml.scala	Mon Sep 05 14:42:31 2011 +0200
     1.2 +++ b/src/Pure/PIDE/xml.scala	Mon Sep 05 20:30:37 2011 +0200
     1.3 @@ -11,7 +11,6 @@
     1.4  import java.lang.ref.WeakReference
     1.5  import javax.xml.parsers.DocumentBuilderFactory
     1.6  
     1.7 -import scala.actors.Actor._
     1.8  import scala.collection.mutable
     1.9  
    1.10