code: private int getInitInt(String name)
      {
          String value = getInitParameter(name);
          if (value != null && value.length() > 0)
              return Integer.parseInt(value);
          return -1;
      }
docs: /* ------------------------------------------------------------