size = len;
  private void readObject(ObjectInputStream s)    throws IOException, ClassNotFoundException  {    // Read the threshold and loadFactor fields.    s.defaultReadObject();    // Read and use capacity, followed by key/value pairs.    buckets = new HashEntry[s.readInt()];    int len = s.readInt();    while (len-- > 0)      {        Object key = s.readObject();        addEntry(key, s.readObject(), hash(key), false);      }  }