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