#4149 Multiple input of "C+SEMICOLON"

[Yuta Suzuki]

Somehow jEdit understands a single stroke of "C+SEMICOLON" as three copies of it.
(The key "C" is the command key of mac.)

Steps to Reproduce:

1. Launch jEdit
2. From Menu bar, open jEdit > Preferences...
3. Open the Shortcuts tab
4. Take any command (e.g. Add Prefix and Suffix) and try to set the short cut to C+SEMICOLON
5. Then, "C+SEMICOLON C+SEMICOLON C+SEMICOLON" is registered instead of single "C+SEMICOLON".

Side note:
(1) It seems that even in the text area, the stroke "C+SEMICOLON" seems to be understood as "C+SEMICOLON C+SEMICOLON C+SEMICOLON".
(2) With Karabiner-Elements and other key event viewer, I checked the stroke "C+SEMICOLON" is recognized only once for other application.

jEdit version: 5.7.0
Platform: MacOS (15.7.4（24G517）) with Intel chip
Java version: 25.0.1