@Override
	protected void dispose() {
		provider.dispose();
	}
Constructor for plugin that handles multi-user merge of programs.

@param tool the tool with the active program to be merged
@param mergeManager the merge manager that will control the merge process
@param program the current program
Ghidra/Features/Base/src/main/java/ghidra/app/merge/ProgramMergeManagerPlugin.java