--- a/jdk/src/java.desktop/share/classes/javax/swing/text/ElementIterator.java	Fri Dec 12 15:07:00 2014 -0500
+++ b/jdk/src/java.desktop/share/classes/javax/swing/text/ElementIterator.java	Thu Oct 30 07:31:41 2014 -0700
@@ -79,7 +79,7 @@
      * as well as a child index.  If the
      * index is -1, then the element represented
      * on the stack is the element itself.
-     * Otherwise, the index functions as as index
+     * Otherwise, the index functions as an index
      * into the vector of children of the element.
      * In this case, the item on the stack
      * represents the "index"th child of the element