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