--- a/src/Pure/System/session.scala Thu Feb 20 14:17:28 2014 +0100
+++ b/src/Pure/System/session.scala Thu Feb 20 14:36:17 2014 +0100
@@ -8,7 +8,6 @@
package isabelle
-import java.lang.System
import java.util.{Timer, TimerTask}
import scala.collection.mutable