#4121 KEYWORD in mode file doesn't support non-word characters

[Dale Anson]

"non-sealed" is a valid keyword in the Java language since Java 15. The java.xml mode file has <keyword2>non-sealed. jEdit will only highlight the "sealed" part of "non-sealed" as KEYWORD only supports whole words containing only alphanumeric characters. Replacing this definition with <seq type="KEYWORD2">non-sealed</seq> works, but errors are shown in the activity log since SEQ is not allowed in the KEYWORDS section.</keyword2>

The simplest fix would be to adjust xmode.dtd to allow SEQ in KEYWORDS.

[Eric Le Lay]

adjust xmode.dtd to allow SEQ in KEYWORDS.

any side-effect? If not it looks good to me.
Thanks,

[Dale Anson]

None that I can see, but thought I'd enter the bug in case someone else was aware of a problem with modifying the dtd.