code: public int getIntValue(String name, int defaultValue)
              throws NumberFormatException {
  
          String value = getValue(name);
  
          if (value == null) {
              return defaultValue;
          } else {
              return Integer.parseInt(value);
          }
      }
docs: Get the value of the given option as an integer, or the given default
  value if unspecified.
  
  @throws NumberFormatException
  if the value is specified, but cannot be parsed as an integer.