src/Pure/PIDE/command.scala

--- a/src/Pure/PIDE/command.scala	Thu Jun 23 14:48:32 2011 +0200
+++ b/src/Pure/PIDE/command.scala	Thu Jun 23 14:52:32 2011 +0200
@@ -7,6 +7,7 @@
 
 package isabelle
 
+import java.lang.System
 
 import scala.collection.immutable.SortedMap