@Override
      public void propertyChange(PropertyChangeEvent event) {
        filterTreeByShortcut(myFilteringPanel.getShortcut());
      }
@Override
      public void propertyChange(PropertyChangeEvent event)