public void dispose() {
    myFinished.cancel(false);
    myNode2ParentState.clear();
    myNode2State.clear();
    myTree.removeTreeListener(this);
    myTree.removeTreeSelectionListener(this);
  }
public void dispose()