// keyCode = KeyEvent VK_...
static void registerCtrlKey(JComponent c, int keyCode, S name, final Runnable r) {
  Action action = abstractAction(name, r);
  KeyStroke keyStroke = KeyStroke.getKeyStroke(keyCode, InputEvent.CTRL_MASK);
  c.getActionMap().put(name, action);
  c.getInputMap(JComponent.WHEN_IN_FOCUSED_WINDOW).put(keyStroke, name);
}

static void registerCtrlKey(JFrame frame, int keyCode, S name, final Runnable r) {
  registerCtrlKey(frame.getRootPane(), keyCode, name, r);
}