code: public void encode(OutputStream out) throws IOException {
         DerOutputStream  tmp = new DerOutputStream();
          encode(out, PKIXExtensions.CRLNumber_Id, true);
      }
docs: Write the extension to the DerOutputStream.
  
  @param out the DerOutputStream to write the extension to.
  @exception IOException on encoding errors.