public String getFileName(Integer index) {
		return filenameToIndex.inverse().get(index);
	}
Returns the file name at a given index
@param index index
@return file name or {@code null} if there is no file with that index
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/sleigh/grammar/SourceFileIndexer.java