@Override
	protected void dispose() {
		provider.dispose();
	}
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