@Override
	public void processEvent(PluginEvent event) {
		// stub
	}
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