lib/jedit/isabelle.xml

       <OPERATOR>extract</OPERATOR>
       <OPERATOR>extract_type</OPERATOR>
       <KEYWORD4>file</KEYWORD4>
       <OPERATOR>finalconsts</OPERATOR>
       <OPERATOR>finally</OPERATOR>
+      <LABEL>find_consts</LABEL>
       <LABEL>find_theorems</LABEL>
       <KEYWORD2>fix</KEYWORD2>
       <KEYWORD4>fixes</KEYWORD4>
       <OPERATOR>fixpat</OPERATOR>
       <OPERATOR>fixrec</OPERATOR>