equal
deleted
inserted
replaced
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 } |