src/Tools/jEdit/src/timing_dockable.scala

       opaque = false
       xAlignment = Alignment.Leading
       border = BorderFactory.createEmptyBorder(2, 2, 2, 2)
 
       var entry: Entry = null
-      override def paintComponent(gfx: Graphics2D)
+      override def paintComponent(gfx: Graphics2D): Unit =
       {
-        def paint_rectangle(color: Color)
+        def paint_rectangle(color: Color): Unit =
         {
           val size = peer.getSize()
           val insets = border.getBorderInsets(peer)
           val x = insets.left
           val y = insets.top

 
   private abstract class Entry
   {
     def timing: Double
     def print: String
-    def follow(snapshot: Document.Snapshot)
+    def follow(snapshot: Document.Snapshot): Unit
   }
 
   private case class Theory_Entry(name: Document.Node.Name, timing: Double, current: Boolean)
     extends Entry
   {
     def print: String =
       Time.print_seconds(timing) + "s theory " + quote(name.theory)
-    def follow(snapshot: Document.Snapshot) { PIDE.editor.goto_file(true, view, name.node) }
+    def follow(snapshot: Document.Snapshot): Unit =
+      PIDE.editor.goto_file(true, view, name.node)
   }
 
   private case class Command_Entry(command: Command, timing: Double) extends Entry
   {
     def print: String =
       "  " + Time.print_seconds(timing) + "s command " + quote(command.span.name)
-    def follow(snapshot: Document.Snapshot)
-    { PIDE.editor.hyperlink_command(true, snapshot, command.id).foreach(_.follow(view)) }
+    def follow(snapshot: Document.Snapshot): Unit =
+      PIDE.editor.hyperlink_command(true, snapshot, command.id).foreach(_.follow(view))
   }
 
 
   /* timing view */
 

     theories.flatMap(entry =>
       if (entry.name == name) entry.copy(current = true) :: commands
       else List(entry))
   }
 
-  private def handle_update(restriction: Option[Set[Document.Node.Name]] = None)
+  private def handle_update(restriction: Option[Set[Document.Node.Name]] = None): Unit =
   {
     GUI_Thread.require {}
 
     val snapshot = PIDE.session.snapshot()
 

     Session.Consumer[Session.Commands_Changed](getClass.getName) {
       case changed =>
         GUI_Thread.later { handle_update(Some(changed.nodes)) }
     }
 
-  override def init()
+  override def init(): Unit =
   {
     PIDE.session.commands_changed += main
     handle_update()
   }
 
-  override def exit()
+  override def exit(): Unit =
   {
     PIDE.session.commands_changed -= main
   }
 }