code: public int getAsInt(ConfigKey pKey) {
          int ret;
          try {
              ret = Integer.parseInt(get(pKey));
          } catch (NumberFormatException exp) {
              ret = Integer.parseInt(pKey.getDefaultValue());
          }
          return ret;
      }
docs: Get an configuration value as int value
  @param pKey the configuration key
  @return the value set or, if not, the default value