@Override // Expose to this package
	protected void doSetLifespan(Lifespan lifespan) {
		super.doSetLifespan(lifespan);
	}
TODO: This may cause a problem when modules span multiple spaces. Well, the whole "unique
path" thing may already be a problem in that case, since each module is allowed one
address range. Maybe unique names within spaces only, and somehow a module comprises all
its entries among the spaces.
Ghidra/Debug/Framework-TraceModeling/src/main/java/ghidra/trace/database/module/DBTraceSection.java