docs: public int getInt(String name, int defaultValue) {
          String valueString = get(name);
          if (valueString == null)
              return defaultValue;
          try {
              String hexString = getHexDigits(valueString);
              if (hexString != null) {
                  return Integer.parseInt(hexString, 16);
              }
              return Integer.parseInt(valueString);
          } catch (NumberFormatException e) {
              return defaultValue;
          }
      }