jdk/src/share/classes/java/util/TreeSet.java
changeset 10419 12c063b39232
parent 7816 55a18147b4bf
child 12448 b95438b17098
equal deleted inserted replaced
10418:1d57022fdb6e 10419:12c063b39232
   472     public Object clone() {
   472     public Object clone() {
   473         TreeSet<E> clone = null;
   473         TreeSet<E> clone = null;
   474         try {
   474         try {
   475             clone = (TreeSet<E>) super.clone();
   475             clone = (TreeSet<E>) super.clone();
   476         } catch (CloneNotSupportedException e) {
   476         } catch (CloneNotSupportedException e) {
   477             throw new InternalError();
   477             throw new InternalError(e);
   478         }
   478         }
   479 
   479 
   480         clone.m = new TreeMap<>(m);
   480         clone.m = new TreeMap<>(m);
   481         return clone;
   481         return clone;
   482     }
   482     }