src/Tools/jEdit/src/syslog_dockable.scala
changeset 49559 c3a6e110679b
parent 48021 d899be1cfe6d
child 50205 788c8263e634
     1.1 --- a/src/Tools/jEdit/src/syslog_dockable.scala	Mon Sep 24 21:16:33 2012 +0200
     1.2 +++ b/src/Tools/jEdit/src/syslog_dockable.scala	Tue Sep 25 12:17:58 2012 +0200
     1.3 @@ -12,12 +12,10 @@
     1.4  import scala.actors.Actor._
     1.5  import scala.swing.TextArea
     1.6  
     1.7 -import java.lang.System
     1.8 -
     1.9  import org.gjt.sp.jedit.View
    1.10  
    1.11  
    1.12 -class Syslog_Dockable(view: View, position: String) extends Dockable(view: View, position: String)
    1.13 +class Syslog_Dockable(view: View, position: String) extends Dockable(view, position)
    1.14  {
    1.15    /* GUI components */
    1.16  
    1.17 @@ -42,7 +40,7 @@
    1.18          case output: Isabelle_Process.Output =>
    1.19            if (output.is_syslog) update_syslog()
    1.20  
    1.21 -        case bad => System.err.println("Syslog_Dockable: ignoring bad message " + bad)
    1.22 +        case bad => java.lang.System.err.println("Syslog_Dockable: ignoring bad message " + bad)
    1.23        }
    1.24      }
    1.25    }