public void dispose() {
CVSProviderPlugin.getPlugin().getCVSWorkspaceSubscriber().removeListener(this);
tree.dispose();
}
private void initialize() {
CVSProviderPlugin.getPlugin().getCVSWorkspaceSubscriber().addListener(this);
}
