It's the personal.rc file, rather than the hotkey.rc file. So, it's like it's loading jkey twice. Essentially what I said, but wrong file, sorry.

Btw, and this will come as a shocker to the regulars here, the answer is right in that theme's responses.