src/Tools/jEdit/src/rich_text_area.scala

     }
 
     def update_rendering(r: JEdit_Rendering, range: Text.Range): Unit =
       update(rendering(r)(range))
 
-    def reset: Unit = update(None)
+    def reset(): Unit = update(None)
   }
 
   // owned by GUI thread
 
   private val highlight_area =

     new Active_Area[XML.Elem](
       (rendering: JEdit_Rendering) => rendering.active, Some(Cursor.DEFAULT_CURSOR))
 
   private val active_areas =
     List((highlight_area, true), (hyperlink_area, true), (active_area, false))
-  def active_reset(): Unit = active_areas.foreach(_._1.reset)
+  def active_reset(): Unit = active_areas.foreach(_._1.reset())
 
   private def area_active(): Boolean =
     active_areas.exists({ case (area, _) => area.is_active })
 
   private val focus_listener = new FocusAdapter {

                 val rendering = get_rendering()
                 for ((area, require_control) <- active_areas)
                 {
                   if (control == require_control && !rendering.snapshot.is_outdated)
                     area.update_rendering(rendering, range)
-                  else area.reset
+                  else area.reset()
                 }
             }
           }
         }
         else active_reset()