tuned signature, following hints by IntelliJ IDEA;

--- a/src/Tools/jEdit/src/isabelle_options.scala	Fri Oct 28 13:18:27 2022 +0200
+++ b/src/Tools/jEdit/src/isabelle_options.scala	Fri Oct 28 15:42:59 2022 +0200
@@ -41,7 +41,7 @@
     List(JEdit_Sessions.logic_selector(options),
       JEdit_Spell_Checker.dictionaries_selector())
 
-  protected val components =
+  protected val components: List[(String, List[Option_Component])] =
     options.make_components(predefined,
       (for ((name, opt) <- options.value.opt_iterator if opt.public) yield name).toSet)
 }
@@ -56,5 +56,6 @@
 
   assert(predefined.nonEmpty)
 
-  protected val components = PIDE.options.make_components(predefined, _ => false)
+  protected val components: List[(String, List[Option_Component])] =
+    PIDE.options.make_components(predefined, _ => false)
 }