public synchronized void record(String message, Object... args) {
		record(String.format(message, args));
	}
Records messages for later playback.  This can be useful for tracking the order of sequences/
callbacks.
Ghidra/Framework/Docking/src/test/java/ghidra/docking/spy/SpyEventRecorder.java