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