@Override
	public void flushEvents() {
		trace.flushEvents();
	}
NOTE: This "read-write" lock is actually just a compatibility wrapper around the
{@link ghidra.util.Lock} for the entire trace database. There was a time when I dreamed of
using an actual read-write lock (though it's not known if that'd actually achieve any
appreciable speed up); however, inheriting the existing DataTypeManager implementation
required its lock to be used throughout the database. Rather than convert all my code (and
lose the distinction of where I need write vs. read locks), I just wrapped the API. So no,
this code does not refer to the wrapper, but it does still use the lock. I keep a reference
to it here in case I ever need it.
Ghidra/Debug/Framework-TraceModeling/src/main/java/ghidra/trace/database/data/DBTraceDataTypeManager.java