code: public void encode(DerOutputStream out) throws IOException {
          DerOutputStream tmp = new DerOutputStream();
  
          for (int i = 0; i < ids.size(); i++) {
              ids.elementAt(i).encode(tmp);
          }
          out.write(DerValue.tag_Sequence,tmp);
      }
docs: Encode the policy set to the output stream.
  
  @param out the DerOutputStream to encode the data to.