public void setDomainFile(DomainFile domainFile) {
		this.domainFile = domainFile;
		this.domainFilePath = domainFile != null ? domainFile.getPathname() : null;
		try {
			refresh();
		}
		catch (FileNotFoundException e) {
			this.domainFile = null;
			this.domainFilePath = null;
		}
	}
Set the domain file to show its history.
If file not found a null file will be set.
@param domainFile the file
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/datatree/VersionHistoryPanel.java