--- a/jdk/src/share/classes/java/util/Vector.java	Tue Aug 30 14:41:12 2011 +0100
+++ b/jdk/src/share/classes/java/util/Vector.java	Tue Aug 30 11:53:11 2011 -0700
@@ -673,7 +673,7 @@
             return v;
         } catch (CloneNotSupportedException e) {
             // this shouldn't happen, since we are Cloneable
-            throw new InternalError();
+            throw new InternalError(e);
         }
     }