1 files changed, 5 insertions, 12 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/FieldAccessNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/FieldAccessNode.java
index db5bf51c5b..1b8e856a17 100644
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/FieldAccessNode.java
+++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/FieldAccessNode.java
@@ -1,20 +1,16 @@
 package org.checkerframework.dataflow.cfg.node;
 
+import com.sun.source.tree.IdentifierTree;
+import com.sun.source.tree.MemberSelectTree;
+import com.sun.source.tree.Tree;
 import java.util.Collection;
 import java.util.Collections;
-
 import javax.lang.model.element.VariableElement;
-
 import org.checkerframework.dataflow.util.HashCodeUtils;
-
 import org.checkerframework.javacutil.ElementUtils;
 import org.checkerframework.javacutil.InternalUtils;
 import org.checkerframework.javacutil.TreeUtils;
 
-import com.sun.source.tree.IdentifierTree;
-import com.sun.source.tree.MemberSelectTree;
-import com.sun.source.tree.Tree;
-
 /**
  * A node for a field access, including a method accesses:
  *
@@ -23,7 +19,6 @@ import com.sun.source.tree.Tree;
  * </pre>
  *
  * @author Stefan Heule
- *
  */
 public class FieldAccessNode extends Node {
 
@@ -45,7 +40,7 @@ public class FieldAccessNode extends Node {
             this.element = (VariableElement) TreeUtils.elementFromUse((MemberSelectTree) tree);
         } else {
             assert tree instanceof IdentifierTree;
-            this.element =  (VariableElement) TreeUtils.elementFromUse((IdentifierTree) tree);
+            this.element = (VariableElement) TreeUtils.elementFromUse((IdentifierTree) tree);
         }
     }
 
@@ -84,9 +79,7 @@ public class FieldAccessNode extends Node {
         return getReceiver() + "." + field;
     }
 
-    /**
-     * Is this a static field?
-     */
+    /** Is this a static field? */
     public boolean isStatic() {
         return ElementUtils.isStatic(getElement());
     }