private void writeObject(java.io.ObjectOutputStream s) throws java.io.IOException {
  s.defaultWriteObject();
  s.writeInt(attrs.size());
  Enumeration<Attribute> attrEnum=attrs.elements();
  while (attrEnum.hasMoreElements()) {
    s.writeObject(attrEnum.nextElement());
  }
}

private void writeObject ( java . io . ObjectOutputStream s ) throws java . io . IOException { s . defaultWriteObject ( ) ; s . writeInt ( attrs . size ( ) ) ; Enumeration < Attribute > attrEnum = attrs . elements ( ) ; while ( attrEnum . hasMoreElements ( ) ) { s . writeObject ( attrEnum . nextElement ( ) ) ; } }
overridden to avoid exposing implementation details .
