public DWARFFile withName(String newName) {
		return new DWARFFile(newName, directory_index, modification_time, length, md5);
	}
Create a new DWARF file entry with the given parameters.
@param name name of the file
@param directory_index index of the directory for this file
@param modification_time modification time of the file
@param length length of the file
Ghidra/Features/Base/src/main/java/ghidra/app/util/bin/format/dwarf/line/DWARFFile.java