@NotNull private static KeyStroke getTypedOrPressedKeyStroke(char c, int modifiers) { if (modifiers == 0) { return getKeyStroke(c); } else if (modifiers == SHIFT_MASK) { return getKeyStroke(Character.toUpperCase(c)); } else { return getKeyStroke(Character.toUpperCase(c), modifiers); } }