Method readObject

src/main/java/gate/util/RBTreeMap.java:1550–1560

Reconstitute the RBTreeMap instance from a stream (i.e., deserialize it).

(final java.io.ObjectInputStream s)

    * deserialize it).
    */
  private void readObject(final java.io.ObjectInputStream s)
      throws java.io.IOException, ClassNotFoundException {

    // Read in the Comparator and any hidden stuff
    s.defaultReadObject();

    // Read in size
    int size = s.readInt();

    buildFromSorted(size, null, s, null);
  } // readObject

  /** Intended to be called only from TreeSet.readObject */
  void readTreeSet(int size, java.io.ObjectInputStream s, V defaultVal)