private String encodeVersion(Version ver) {
		StringBuffer buf = new StringBuffer();
		buf.append(ver.getVersion());
		buf.append(';');
		buf.append(ver.getUser());
		buf.append(';');
		buf.append(ver.getCreateTime());
		buf.append(';');
		encodeString(ver.getComment(), buf);
		return buf.toString();
	}
Encode item version data for file output.
@param ver version data
@return
Ghidra/Framework/FileSystem/src/main/java/ghidra/framework/store/local/HistoryManager.java