String getOtherModuleName() {
		return otherModuleName;
	}
{@return the other module name, or null if there is no other module}
Ghidra/Features/Base/src/main/java/ghidra/app/util/opinion/DefExportLine.java