code: public int getInt(String name, int defaultValue) {
  		String valueString = getTrimmed(name);
  		if (valueString == null)
  			return defaultValue;
  		String hexString = getHexDigits(valueString);
  		if (hexString != null) {
  			return Integer.parseInt(hexString, 16);
  		}
  		return Integer.parseInt(valueString);
  	}
docs: Get the value of the <code>name</code> property as an <code>int</code>.
  
  If no such property exists, the provided default value is returned,
  or if the specified value is not a valid <code>int</code>,
  then an error is thrown.
  
  @param name property name.
  @param defaultValue default value.
  @throws NumberFormatException when the value is invalid
  @return property value as an <code>int</code>,
  or <code>defaultValue</code>.