jdk/src/share/classes/java/util/Vector.java
changeset 7518 0282db800fe1
parent 7020 25638687fe82
child 7668 d4a77089c587
equal deleted inserted replaced
7517:7303bc0e78d6 7518:0282db800fe1
   917      * @throws NullPointerException if this vector contains one or more null
   917      * @throws NullPointerException if this vector contains one or more null
   918      *         elements and the specified collection does not support null
   918      *         elements and the specified collection does not support null
   919      *         elements (optional), or if the specified collection is null
   919      *         elements (optional), or if the specified collection is null
   920      * @since 1.2
   920      * @since 1.2
   921      */
   921      */
   922     public synchronized boolean retainAll(Collection<?> c)  {
   922     public synchronized boolean retainAll(Collection<?> c) {
   923         return super.retainAll(c);
   923         return super.retainAll(c);
   924     }
   924     }
   925 
   925 
   926     /**
   926     /**
   927      * Inserts all of the elements in the specified Collection into this
   927      * Inserts all of the elements in the specified Collection into this