code: public Integer get(String name) throws IOException {
          if (name.equalsIgnoreCase(REASON)) {
              return new Integer(reasonCode);
          } else {
              throw new IOException
                  ("Name not supported by CRLReasonCodeExtension");
          }
      }
docs: Get the attribute value.