Index: /trunk/src/org/openstreetmap/josm/tools/Shortcut.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/tools/Shortcut.java	(revision 12518)
+++ /trunk/src/org/openstreetmap/josm/tools/Shortcut.java	(revision 12519)
@@ -206,5 +206,5 @@
     public boolean isEvent(KeyEvent e) {
         KeyStroke ks = getKeyStroke();
-        return ks != null && ks.equals(KeyStroke.getKeyStroke(e.getKeyCode(), e.getModifiers()));
+        return ks != null && ks.equals(KeyStroke.getKeyStroke(e.getKeyCode(), e.getModifiersEx()));
     }
 
@@ -256,5 +256,5 @@
         KeyStroke keyStroke = getKeyStroke();
         if (keyStroke == null) return "";
-        String modifText = KeyEvent.getKeyModifiersText(keyStroke.getModifiers());
+        String modifText = KeyEvent.getModifiersExText(keyStroke.getModifiers());
         if ("".equals(modifText)) return KeyEvent.getKeyText(keyStroke.getKeyCode());
         return modifText + '+' + KeyEvent.getKeyText(keyStroke.getKeyCode());