AH! Thanks for the pointer to shortcut saver, I had not seen that before!

For anyone who is interested: Don't bother googling, just go to: Plugins -> Plugin Manager ... from within jEdit and select the Install tab. You will find "ShortcutSaver" in the list.