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