1 files changed, 4 insertions, 10 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ArrayAccessNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ArrayAccessNode.java
index c51d7c1fbf..24ef689ee9 100644
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ArrayAccessNode.java
+++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ArrayAccessNode.java
@@ -1,29 +1,24 @@
 package org.checkerframework.dataflow.cfg.node;
 
+import com.sun.source.tree.ArrayAccessTree;
+import com.sun.source.tree.Tree;
 import java.util.Collection;
 import java.util.LinkedList;
-
 import org.checkerframework.dataflow.util.HashCodeUtils;
-
 import org.checkerframework.javacutil.InternalUtils;
 
-import com.sun.source.tree.ArrayAccessTree;
-import com.sun.source.tree.Tree;
-
 /**
  * A node for an array access:
  *
  * <pre>
- *   <em>array ref</em> [ <em>index</em> ]
+ *   <em>arrayref</em> [ <em>index</em> ]
  * </pre>
  *
  * We allow array accesses without corresponding AST {@link Tree}s.
  *
  * @author Stefan Heule
  * @author Charlie Garrett
- *
  */
-
 public class ArrayAccessNode extends Node {
 
     protected Tree tree;
@@ -68,8 +63,7 @@ public class ArrayAccessNode extends Node {
             return false;
         }
         ArrayAccessNode other = (ArrayAccessNode) obj;
-        return getArray().equals(other.getArray())
-                && getIndex().equals(other.getIndex());
+        return getArray().equals(other.getArray()) && getIndex().equals(other.getIndex());
     }
 
     @Override