public void ancestorMoved(AncestorEvent event) {
}
public void ancestorRemoved(AncestorEvent event) {
ExplorerManager em = ExplorerManager.find(treeView);
em.removePropertyChangeListener(this);
cancelBackgroundTasks();
}
public void propertyChange(PropertyChangeEvent evt) {
if (ExplorerManager.PROP_SELECTED_NODES.equals(evt.getPropertyName())) {