@Override
	public int getParameter(String name) throws NoSuchElementException {
		Object obj = userParms.get(name);
		if (obj == null) {
			throw new NoSuchElementException(name);
		}
		return ((Integer) obj).intValue();
	}
Returns the physical file associated with this BufferFile.
@return the file
Ghidra/Framework/DB/src/main/java/db/buffers/LocalBufferFile.java