src/Tools/jEdit/src/protocol_dockable.scala
changeset 43520 cec9b95fa35d
parent 43282 5d294220ca43
child 43721 fad8634cee62
     1.1 --- a/src/Tools/jEdit/src/protocol_dockable.scala	Thu Jun 23 14:48:32 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/protocol_dockable.scala	Thu Jun 23 14:52:32 2011 +0200
     1.3 @@ -9,6 +9,8 @@
     1.4  
     1.5  import isabelle._
     1.6  
     1.7 +import java.lang.System
     1.8 +
     1.9  import scala.actors.Actor._
    1.10  import scala.swing.{TextArea, ScrollPane}
    1.11