code: void readTreeSet(int size, java.io.ObjectInputStream s, V defaultVal)
          throws java.io.IOException, ClassNotFoundException {
          buildFromSorted(size, null, s, defaultVal);
      }
docs: Intended to be called only from TreeSet.readObject