}
    public void propertyChange(PropertyChangeEvent pce)    {        String name = pce.getPropertyName();        if (name.equals(TreeViewer.FILTER_NODES_PROPERTY)) {            Map map = (Map) pce.getNewValue();            if (map.get(model) != null)                 filterNodes((Set) map.get(model));        } else if (name.equals(FilterMenu.FILTER_SELECTED_PROPERTY))            model.setFilterType(((Integer) pce.getNewValue()).intValue());          else if (name.equals(FilterWindow.CLOSE_PROPERTY))            model.collapse(model.getLastSelectedDisplay());    }