code: private void encodeAttributes(List attributes, PrintStream out,
                                    Indenter indenter) {
          Iterator it = attributes.iterator();
          while (it.hasNext()) {
              Attribute attr = (Attribute)(it.next());
              attr.encode(out, indenter);
          }
      }
docs: Private helper function to encode the attribute sets