code: private void readObject(ObjectInputStream s) throws IOException, ClassNotFoundException
    {
      s.defaultReadObject();
      firstEmptyWord = words.length;
      size = -1;
    }
docs: Reconstruct the {@link ConciseSet} instance from a stream