From jEdit 4.2 to 4.3

  1. All regular expressions in mode files were rewritten to use java.util.regex instead of gnu.regexp.

  2. HASH_CHAR handling of xxx_REGEXP elements has been updated, as explained in the section called “The SPAN_REGEXP Tag”.