docs: public double getDouble(String key, double defaultValue) {
  		addToDefaults(key, Double.toString(defaultValue));
  		String value = get(key);
  		if (value == null) {
  			return defaultValue;
  		} else {
  			return Double.valueOf(value);
  		}
  	}