code: public double getProperty(String propName, double defaultValue) {
          String propValue = props.getProperty(propName);
          return (propValue == null) ? defaultValue : Double.parseDouble(propValue);
      }
docs: Returns the double value of the property associated with {@code propName},
  or {@code defaultValue} if there is no property.