KeyStroke в InputMap только для CTRL должен иметь CTRL_DOWN_MASK и CTRL_MASK (только для win10)

У меня есть пользовательский компонент (унаследованный от JComponent), и мне нравится подчеркивать ссылку, удерживая нажатой CTRL вправо, как это делает eclipse. Я решил использовать InputMap и ActionMap для функции нажатия/отпускания клавиши.

Я использую этот код, чтобы найти ход:

stroke = KeyStroke.getKeyStroke("pressed CONTROL");

Но это как-то неправильно. Я отладил метод processKeyBinding JComponent и обнаружил, что если я нажму CTRL, появится KeyStroke с модификатором 130.

(это — моя карта ввода, arg0 — входящее нажатие клавиши с клавиатуры)

Я думаю, что 130 — это результат сложения CTRL_DOWN_MASK с кодом 128 и CTRL_MASK с кодом 2.

1. Почему я должен добавить эти модификаторы?
2. Это кроссплатформенный?
3. Есть ли официальная документация?

Полный пример запросов camickr:

public class Test extends JLabel {
    public static void main(String[] args) {
        final JFrame jf = new JFrame("Test");
        final Test label = new Test();
        jf.getContentPane().add(label);
        jf.setBounds(200, 200, 500, 500);
        jf.pack();
        jf.setVisible(true);
        label.grabFocus();
    }

    public Test() {
        super("Foobar");
        addBoldOnCtrl();
    }

    public void addBoldOnCtrl() {
        final KeyStroke onDown = KeyStroke.getKeyStroke(KeyEvent.VK_CONTROL, KeyEvent.CTRL_MASK + KeyEvent.CTRL_DOWN_MASK);
        final String onDownName = "react on ctrl";
        getInputMap().put(onDown, onDownName);
        getActionMap().put(onDownName, new AbstractAction() {

            @Override
            public void actionPerformed(ActionEvent e) {
                final Font f = getFont();
                setFont(new Font(f.getFontName(), f.getStyle(), f.getSize() + 2));
                repaint();
            }
        });
    }
}