code: public void writeObject (ObjectOutputStream out)
          throws IOException
      {
          int ecount = size();
          out.writeInt(ecount);
          for (int ii = 0; ii < ecount; ii++) {
              out.writeObject(get(ii));
          }
      }
docs: Writes our custom streamable fields.