void doNotify() {

			if (isDisposed) {
				return;
			}

			if (event == null) {
				return; // this implies there were no changes when the timer expired
			}

			for (DomainObjectListener dol : receivers) {
				try {
					dol.domainObjectChanged(event);
				}
				catch (Exception exc) {
					Msg.showError(this, null, "Error", "Error in Domain Object listener", exc);
				}
			}
		}
This class allows us to bind the given event with the given listeners.  This is used to
send events to the correct listeners as listeners are added.  In other words, new listeners
will not receive pre-existing buffered events.   Also, using this class allows us to ensure
events are processed linearly by processing each of these notification objects linearly
from a single queue.

Note: this class shall perform no synchronization; that shall be handled by the client
Ghidra/Framework/Project/src/main/java/ghidra/framework/data/DomainObjectChangeSupport.java