--- old/src/share/classes/javax/swing/text/html/AccessibleHTML.java 2014-06-10 11:51:36.000000000 -0700
+++ new/src/share/classes/javax/swing/text/html/AccessibleHTML.java 2014-06-10 11:51:36.000000000 -0700
@@ -2740,7 +2740,7 @@
* child
isn't a valid child.
*/
public int indexOf(ElementInfo child) {
- ArrayList children = this.children;
+ ArrayList children = this.children;
if (children != null) {
return children.indexOf(child);