int getOldParameter(String name) {
		Object obj = origParms.get(name);
		if (obj == null)
			throw new NoSuchElementException();
		return ((Integer) obj).intValue();
	}
Get a parameter value associated with the original buffer file.
@param name parameter name
@return parameter value
Ghidra/Framework/DB/src/main/java/db/buffers/VersionFileHandler.java