void set(DBTraceModule module, String path, String name) {
		this.moduleKey = module.getKey();
		this.path = path;
		this.name = name;
		update(MODULE_COLUMN, PATH_COLUMN, NAME_COLUMN);

		this.module = module;
	}
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