@Override
	public MergeManagerProvider createProvider() {
		return new MergeManagerProvider(this,
			"Merge Data Type Archives for " + currentDomainObject.getName());
	}
Constructor for plugin that handles multi-user merge of data type archives.
@param tool the tool
@param mergeManager the merge manager that will control the merge process
@param dataTypeArchive the data type archive
Ghidra/Features/Base/src/main/java/ghidra/app/merge/DataTypeArchiveMergeManagerPlugin.java