@Override
      public void propertyChange(PropertyChangeEvent event) {
        setShortcut(toShortcut(event.getNewValue()));
      }
@Override
      public void propertyChange(PropertyChangeEvent event)