src/Tools/jEdit/src/monitor_dockable.scala

         case Session.Statistics(props) =>
           Swing_Thread.later {
             rev_stats ::= props
             delay_update.invoke()
           }
+
         case bad => java.lang.System.err.println("Monitor_Dockable: ignoring bad message " + bad)
       }
     }
   }