--- a/jdk/src/share/classes/javax/swing/text/html/AccessibleHTML.java	Thu Jun 05 13:59:01 2014 -0700
+++ b/jdk/src/share/classes/javax/swing/text/html/AccessibleHTML.java	Wed Jun 11 13:25:15 2014 -0700
@@ -2740,7 +2740,7 @@
          * <code>child</code> isn't a valid child.
          */
         public int indexOf(ElementInfo child) {
-            ArrayList children = this.children;
+            ArrayList<ElementInfo> children = this.children;
 
             if (children != null) {
                 return children.indexOf(child);