jdk/src/share/classes/java/util/Vector.java
changeset 10419 12c063b39232
parent 9503 588cf31d584a
child 17166 c83a0fa44906
equal deleted inserted replaced
10418:1d57022fdb6e 10419:12c063b39232
   671             v.elementData = Arrays.copyOf(elementData, elementCount);
   671             v.elementData = Arrays.copyOf(elementData, elementCount);
   672             v.modCount = 0;
   672             v.modCount = 0;
   673             return v;
   673             return v;
   674         } catch (CloneNotSupportedException e) {
   674         } catch (CloneNotSupportedException e) {
   675             // this shouldn't happen, since we are Cloneable
   675             // this shouldn't happen, since we are Cloneable
   676             throw new InternalError();
   676             throw new InternalError(e);
   677         }
   677         }
   678     }
   678     }
   679 
   679 
   680     /**
   680     /**
   681      * Returns an array containing all of the elements in this Vector
   681      * Returns an array containing all of the elements in this Vector