[cp-patches] FYI: API doc fix for Vector.copyInto() method

[David Gilbert]

I committed this patch:

2005-08-18  David Gilbert  <address@hidden>

        * java/util/Vector.java
        (copyInto) fixed incorrect API description.

Regards,

Dave

? diff.txt
Index: java/util/Vector.java
===================================================================
RCS file: /cvsroot/classpath/classpath/java/util/Vector.java,v
retrieving revision 1.25
diff -u -r1.25 Vector.java
--- java/util/Vector.java       2 Jul 2005 20:32:42 -0000       1.25
+++ java/util/Vector.java       18 Aug 2005 10:26:08 -0000
@@ -164,10 +164,10 @@
   }
 
   /**
-   * Copies the contents of a provided array into the Vector.  If the
-   * array is too large to fit in the Vector, an IndexOutOfBoundsException
-   * is thrown without modifying the array.  Old elements in the Vector are
-   * overwritten by the new elements.
+   * Copies the contents of the Vector into the provided array.  If the
+   * array is too small to fit all the elements in the Vector, an 
+   * address@hidden IndexOutOfBoundsException} is thrown without modifying the 
array.  
+   * Old elements in the array are overwritten by the new elements.
    *
    * @param a target array for the copy
    * @throws IndexOutOfBoundsException the array is not large enough