@Override
	public void domainObjectChanged(DomainObjectChangedEvent ev) {
		// Only concerned about error which will be the only change record
		DomainObjectChangeRecord docr = ev.getChangeRecord(0);
		if (!domainFileErrorOccurred && docr.getEventType() == DomainObjectEvent.ERROR) {
			domainFileErrorOccurred = true;
			String msg;
			Throwable t = (Throwable) docr.getNewValue();
			if (t instanceof NoSuchObjectException) {
				msg = "Merge is closing due to an unrecoverable error!" +
					"\nThis error can be caused when your system becomes" +
					"\nsuspended or due to a server/network problem.";
			}
			else {
				msg = "Merge is closing due to an unrecoverable error!" +
					"\n \nSuch failures are generally due to an IO Error caused" +
					"\nby the local filesystem or server.";
			}

			//abort();
			Msg.showError(this, tool.getToolFrame(), "Severe Error Condition", msg);
			provider.cancelCallback(true);
			return;
		}
	}
Gets the provider for the merge.
@return the provider
Ghidra/Features/Base/src/main/java/ghidra/app/merge/MergeManagerPlugin.java