private Version decodeVersion(String line) throws NumberFormatException, NoSuchElementException {
		StringTokenizer st = new StringTokenizer(line, ";");
		int version = Integer.parseInt(st.nextToken());
		String user = st.nextToken();
		long time = Long.parseLong(st.nextToken());
		String comment = "";
		if (st.hasMoreTokens()) {
			comment = decodeString(st.nextToken());
		}
		return new Version(version, time, user, comment);
	}
Decode item version data from file.
@param line file input line
@return parsed version data
@throws NumberFormatException
@throws NoSuchElementException
Ghidra/Framework/FileSystem/src/main/java/ghidra/framework/store/local/HistoryManager.java