jdk/src/share/classes/java/util/TreeSet.java
changeset 10419 12c063b39232
parent 7816 55a18147b4bf
child 12448 b95438b17098
--- a/jdk/src/share/classes/java/util/TreeSet.java	Tue Aug 30 14:41:12 2011 +0100
+++ b/jdk/src/share/classes/java/util/TreeSet.java	Tue Aug 30 11:53:11 2011 -0700
@@ -474,7 +474,7 @@
         try {
             clone = (TreeSet<E>) super.clone();
         } catch (CloneNotSupportedException e) {
-            throw new InternalError();
+            throw new InternalError(e);
         }
 
         clone.m = new TreeMap<>(m);