8138938: Clarify javadoc for java.util.Collections.copy()
authorigerasim
Thu, 15 Oct 2015 13:56:39 +0300
changeset 32994 4dcdbdb9b2c3
parent 32993 fa6bbf6ed92b
child 32995 a62c89adce3d
8138938: Clarify javadoc for java.util.Collections.copy() Reviewed-by: smarks
jdk/src/java.base/share/classes/java/util/Collections.java
--- a/jdk/src/java.base/share/classes/java/util/Collections.java	Thu Oct 15 09:33:03 2015 +0100
+++ b/jdk/src/java.base/share/classes/java/util/Collections.java	Thu Oct 15 13:56:39 2015 +0300
@@ -537,8 +537,9 @@
      * Copies all of the elements from one list into another.  After the
      * operation, the index of each copied element in the destination list
      * will be identical to its index in the source list.  The destination
-     * list must be at least as long as the source list.  If it is longer, the
-     * remaining elements in the destination list are unaffected. <p>
+     * list's size must be greater than or equal to the source list's size.
+     * If it is greater, the remaining elements in the destination list are
+     * unaffected. <p>
      *
      * This method runs in linear time.
      *