src/Tools/jEdit/src/proofdocument/Text.scala

 package isabelle.proofdocument
 
 import isabelle.utils.EventSource
 
 object Text {
-  class Changed(val start : Int, val added : Int, val removed : Int) { }
+  class Changed(val start : Int, val added : Int, val removed : Int)
 }
 
 trait Text {
   def content(start : Int, stop : Int) : String
   def length : Int