pane.addPropertyChangeListener(SearchResultsPane.LOCALIZE_IMAGE_DISPLAY,
pane.addPropertyChangeListener(ClipBoard.LOCALIZE_IMAGE_DISPLAY,
    void setSearchResults(Set foundNodes)    {        pane = new SearchResultsPane(this, foundNodes);        pane.addPropertyChangeListener(SearchResultsPane.LOCALIZE_IMAGE_DISPLAY,                                        controller);        treeHolder.removeAll();        treeHolder.add(new JScrollPane(pane), BorderLayout.CENTER);        treeHolder.revalidate();    }