docs: private void writeObject(ObjectOutputStream s) throws IOException
    {
      if (words != null && lastWordIndex < words.length - 1) {
        // compact before serializing
        words = Arrays.copyOf(words, lastWordIndex + 1);
      }
      s.defaultWriteObject();
    }