src/Tools/jEdit/src/syslog_dockable.scala
changeset 55618 995162143ef4
parent 53177 dcac8d837b9c
child 56385 76acce58aeab
     1.1 --- a/src/Tools/jEdit/src/syslog_dockable.scala	Thu Feb 20 14:17:28 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/syslog_dockable.scala	Thu Feb 20 14:36:17 2014 +0100
     1.3 @@ -40,7 +40,7 @@
     1.4          case output: Isabelle_Process.Output =>
     1.5            if (output.is_syslog) Swing_Thread.later { update_syslog() }
     1.6  
     1.7 -        case bad => java.lang.System.err.println("Syslog_Dockable: ignoring bad message " + bad)
     1.8 +        case bad => System.err.println("Syslog_Dockable: ignoring bad message " + bad)
     1.9        }
    1.10      }
    1.11    }