code: @PublicEvolving
  	public int getInteger(ConfigOption<Integer> configOption, int overrideDefault) {
  		Object o = getRawValueFromOption(configOption);
  		if (o == null) {
  			return overrideDefault;
  		}
  		return convertToInt(o, configOption.defaultValue());
  	}
docs: Returns the value associated with the given config option as an integer.
  If no value is mapped under any key of the option, it returns the specified
  default instead of the option's default value.
  
  @param configOption The configuration option
  @param overrideDefault The value to return if no value was mapper for any key of the option
  @return the configured value associated with the given config option, or the overrideDefault