public void setInt(String name, int value) {
		IntValue intValue = getValue(name, IntValue.class, "Int");
		intValue.setValue(value);
	}
Sets the int value for the given name.
@param name the name of the int value that was previously defined
@param value the int to set as the value
@throws IllegalArgumentException if the name hasn't been defined as a int type
Ghidra/Framework/Docking/src/main/java/docking/widgets/values/GValuesMap.java