# HG changeset patch
# User igerasim
# Date 1444158888 -10800
#      Tue Oct 06 22:14:48 2015 +0300
# Node ID 14550ba92b3d0df5d4e36972aecdd617e814ab88
# Parent  4204dbf90380dabc8ad6bbf42404d799cdc19872
[mq]: 8138938-Clarify-javadoc-for-java-util-Collections-copy

diff --git a/src/java.base/share/classes/java/util/Collections.java b/src/java.base/share/classes/java/util/Collections.java
--- a/src/java.base/share/classes/java/util/Collections.java
+++ b/src/java.base/share/classes/java/util/Collections.java
@@ -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.
      *