code: private void readObject(final java.io.ObjectInputStream s) throws IOException, ClassNotFoundException {
      // Read in the Comparator and any hidden stuff
      s.defaultReadObject();
  
      // Read in size
      setSize(s.readInt());
  
      buildFromSorted(size(), null, s, null);
    }
docs: Reconstitute the <tt>OMVRBTree</tt> instance from a stream (i.e., deserialize it).