public synchronized OpenTrace removeByTrace(Trace trace) {
			OpenTrace removed = byTrace.remove(trace);
			if (removed == null) {
				return null;
			}
			byId.remove(removed.doId);
			plugin.withdrawTarget(removed.target);
			return removed;
		}
NOTE: This can't just be Application.getApplicationVersion(), because the Python client only
specifies up to the minor, not patch, release.
Ghidra/Debug/Debugger-rmi-trace/src/main/java/ghidra/app/plugin/core/debug/service/tracermi/TraceRmiHandler.java