code: private void readObject(java.io.ObjectInputStream s) throws java.io.IOException, ClassNotFoundException {
  		// Read in any hidden stuff
  		s.defaultReadObject();
  
  		// Read in Comparator
  		Comparator<? super E> c = (Comparator<? super E>) s.readObject();
  
  		// Create backing OMVRBTree
  		OMVRBTree<E, Object> tm;
  		if (c == null)
  			tm = new OMVRBTreeMemory<E, Object>();
  		else
  			tm = new OMVRBTreeMemory<E, Object>(c);
  		m = tm;
  
  		// Read in size
  		int size = s.readInt();
  
  		tm.readOTreeSet(size, s, PRESENT);
  	}
docs: Reconstitute the {@code OTreeSet} instance from a stream (that is, deserialize it).