void setParameter(String name, int value) {
		setModified();
		recoveryFile.setParameter(name, value);
	}
Set user parameter
@param name the name
@param value the value
Ghidra/Framework/DB/src/main/java/db/buffers/RecoveryFile.java