src/Tools/jEdit/src/jedit_options.scala

     val button = new ColorWellButton(Color_Value(opt.value))
     val component = new Component with Option_Component {
       override lazy val peer = button
       name = opt_name
       val title = opt_title
-      def load = button.setSelectedColor(Color_Value(string(opt_name)))
-      def save = string(opt_name) = Color_Value.print(button.getSelectedColor)
+      def load(): Unit = button.setSelectedColor(Color_Value(string(opt_name)))
+      def save(): Unit = string(opt_name) = Color_Value.print(button.getSelectedColor)
     }
     component.tooltip = GUI.tooltip_lines(opt.print_default)
     component
   }
 

     val component =
       if (opt.typ == Options.Bool)
         new CheckBox with Option_Component {
           name = opt_name
           val title = opt_title
-          def load = selected = bool(opt_name)
-          def save = bool(opt_name) = selected
+          def load(): Unit = selected = bool(opt_name)
+          def save(): Unit = bool(opt_name) = selected
         }
       else {
         val default_font = GUI.copy_font(UIManager.getFont("TextField.font"))
         val text_area =
           new TextArea with Option_Component {
             if (default_font != null) font = default_font
             name = opt_name
             val title = opt_title
-            def load = text = value.check_name(opt_name).value
-            def save =
+            def load(): Unit = text = value.check_name(opt_name).value
+            def save(): Unit =
               try { JEdit_Options.this += (opt_name, text) }
               catch {
                 case ERROR(msg) =>
                   GUI.error_dialog(this.peer, "Failed to update options",
                     GUI.scrollable_text(msg))