@Override
	public MergeManagerProvider createProvider() {
		return new MergeManagerProvider(this,
			"Merge Programs for " + currentDomainObject.getName());
	}
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