void dispose() {
		tool.showComponentProvider(this, false);
		tool.removeComponentProvider(this);
//		plugin = null;
//		tool = null;
	}
Displays the default information in the merge tool.
Ghidra/Features/Base/src/main/java/ghidra/app/merge/MergeManagerProvider.java