@Override
  public void activeKeymapChanged(Keymap keymap) {
    KeymapManagerListener delegate = myRef.get();
    if (delegate == null) {
      myKeymapManager.removeKeymapManagerListener(this);
    }
    else {
      delegate.activeKeymapChanged(keymap);
    }
  }
@Override
  public void activeKeymapChanged(Keymap keymap)