--- jsr166/src/main/java/util/ArrayDeque.java	2005/05/18 00:46:42	1.13
+++ jsr166/src/main/java/util/ArrayDeque.java	2005/06/18 01:56:01	1.14
@@ -4,6 +4,7 @@
  */
 
 package java.util;
+import java.util.*; // for javadoc
 import java.io.*;
 
 /**
@@ -202,7 +203,8 @@ public class ArrayDeque<E> extends Abstr
 
     /**
      * Inserts the specified element at the end of this deque.
-     * This method is equivalent to {@link #add} and {@link #push}.
+     *
+     * <p>This method is equivalent to {@link #add}.
      *
      * @param e the element to add
      * @throws NullPointerException if the specified element is null