# HG changeset patch
# User wenzelm
# Date 1315247437 -7200
# Node ID ba478c3f7255440b6a750684533e89a08cf4e69f
# Parent  f3a8c19708c8dbebdc66281d08d6a5e09f4c0c9a
tuned imports;

diff -r f3a8c19708c8 -r ba478c3f7255 src/Pure/PIDE/xml.scala
--- 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
 
 
diff -r f3a8c19708c8 -r ba478c3f7255 src/Pure/System/session.scala
--- a/src/Pure/System/session.scala	Mon Sep 05 14:42:31 2011 +0200
+++ b/src/Pure/System/session.scala	Mon Sep 05 20:30:37 2011 +0200
@@ -10,7 +10,6 @@
 import java.lang.System
 
 import scala.actors.TIMEOUT
-import scala.actors.Actor
 import scala.actors.Actor._
 
 
diff -r f3a8c19708c8 -r ba478c3f7255 src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Mon Sep 05 14:42:31 2011 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Mon Sep 05 20:30:37 2011 +0200
@@ -27,8 +27,7 @@
 import org.gjt.sp.util.SyntaxUtilities
 import org.gjt.sp.util.Log
 
-import scala.actors.Actor
-import Actor._
+import scala.actors.Actor._
 
 
 object Isabelle