1 files changed, 3 insertions, 9 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/MethodAccessNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/MethodAccessNode.java
index 75a8d681d3..060f17b62d 100644
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/MethodAccessNode.java
+++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/MethodAccessNode.java
@@ -1,18 +1,14 @@
 package org.checkerframework.dataflow.cfg.node;
 
+import com.sun.source.tree.ExpressionTree;
+import com.sun.source.tree.Tree;
 import java.util.Collection;
 import java.util.Collections;
-
 import javax.lang.model.element.ExecutableElement;
-
 import org.checkerframework.dataflow.util.HashCodeUtils;
-
 import org.checkerframework.javacutil.InternalUtils;
 import org.checkerframework.javacutil.TreeUtils;
 
-import com.sun.source.tree.ExpressionTree;
-import com.sun.source.tree.Tree;
-
 /**
  * A node for a method access, including a method accesses:
  *
@@ -21,7 +17,6 @@ import com.sun.source.tree.Tree;
  * </pre>
  *
  * @author Stefan Heule
- *
  */
 public class MethodAccessNode extends Node {
 
@@ -68,8 +63,7 @@ public class MethodAccessNode extends Node {
             return false;
         }
         MethodAccessNode other = (MethodAccessNode) obj;
-        return getReceiver().equals(other.getReceiver())
-                && getMethod().equals(other.getMethod());
+        return getReceiver().equals(other.getReceiver()) && getMethod().equals(other.getMethod());
     }
 
     @Override