private void appendHistoryFile(Version ver) {
		File historyFile = getHistoryFile();
		try {
			BufferedWriter out = new BufferedWriter(new FileWriter(historyFile, true));
			out.write(encodeVersion(ver));
			out.newLine();
			out.close();
		}
		catch (IOException e) {
			item.log("ERROR! failed to update history file: " + e.toString(), null);
		}
	}
Write new version data to file.
@param ver new version data (must be latest version)
Ghidra/Framework/FileSystem/src/main/java/ghidra/framework/store/local/HistoryManager.java