docs: public void readExternal(ObjectInput in) throws IOException, ClassNotFoundException {
          comparator = (Comparator) in.readObject();
          elements = (Activation[]) in.readObject();
          size = in.readInt();
      }