--- a/jdk/src/java.base/share/classes/java/util/Vector.java	Thu Jul 09 09:55:36 2015 -0400
+++ b/jdk/src/java.base/share/classes/java/util/Vector.java	Mon Jun 29 15:02:35 2015 -0700
@@ -174,7 +174,8 @@
     public Vector(Collection<? extends E> c) {
         elementData = c.toArray();
         elementCount = elementData.length;
-        // c.toArray might (incorrectly) not return Object[] (see 6260652)
+        // defend against c.toArray (incorrectly) not returning Object[]
+        // (see e.g. https://bugs.openjdk.java.net/browse/JDK-6260652)
         if (elementData.getClass() != Object[].class)
             elementData = Arrays.copyOf(elementData, elementCount, Object[].class);
     }