void dispose() {

		domainChangeUpdateManager.dispose();
		bufferedTasks.clear();
		tree.dispose();

		treeStateMap.clear();
		tree = null;

		component.removeAll();

		if (program != null) {
			program.removeListener(domainObjectListener);
			program = null;
		}
	}
Called to have this symbol tree provider copy settings into the given provider.
@param newProvider the new provider
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/symboltree/SymbolTreeProvider.java