code: public int[] getValue (String name, int[] defval)
      {
          // look up the value in the configuration file and use that to look up any overridden value
          String val = getValue(name, (String)null);
          int[] result = defval;
  
          // parse it into an array of ints
          if (val != null) {
              result = StringUtil.parseIntArray(val);
              if (result == null) {
                  log.warning("Malformed int array property", "name", name, "value", val);
                  return defval;
              }
          }
  
          return result;
      }
docs: Fetches and returns the value for the specified configuration property. If the value is not
  specified in the associated properties file, the supplied default value is returned instead.
  If the property specified in the file is poorly formatted (not and integer, not in proper
  array specification), a warning message will be logged and the default value will be
  returned.
  
  @param name the name of the property to be fetched.
  @param defval the value to return if the property is not specified in the config file.
  
  @return the value of the requested property.