code: private void setVersion(Object val) throws CertificateException {
          if (!(val instanceof CertificateVersion)) {
              throw new CertificateException("Version class type invalid.");
          }
          version = (CertificateVersion)val;
      }
docs: Set the version number of the certificate.
  
  @params val the Object class value for the Extensions
  @exception CertificateException on invalid data.