code: public void encode(DerOutputStream out) throws IOException {
          if (isEmpty()) {
              return;
          }
  
          DerOutputStream temp = new DerOutputStream();
          for (GeneralName gn : names) {
              gn.encode(temp);
          }
          out.write(DerValue.tag_Sequence, temp);
      }
docs: Write the extension to the DerOutputStream.
  
  @param out the DerOutputStream to write the extension to.
  @exception IOException on error.