--- a/jdk/src/share/classes/java/util/HashSet.java	Tue Aug 30 14:41:12 2011 +0100
+++ b/jdk/src/share/classes/java/util/HashSet.java	Tue Aug 30 11:53:11 2011 -0700
@@ -253,7 +253,7 @@
             newSet.map = (HashMap<E, Object>) map.clone();
             return newSet;
         } catch (CloneNotSupportedException e) {
-            throw new InternalError();
+            throw new InternalError(e);
         }
     }