/** Writes the contained figures to the StorableOutput. */
public void write(StorableOutput dw) {
super.write(dw);
dw.writeInt(fFigures.size());
Enumeration k = fFigures.elements();
while (k.hasMoreElements()) dw.writeStorable((Storable) k.nextElement());
}
