1 files changed, 11 insertions, 12 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ReturnNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ReturnNode.java
index dbc74c83e3..b7222dfa18 100644
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ReturnNode.java
+++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ReturnNode.java
@@ -5,19 +5,16 @@ import org.checkerframework.checker.nullness.qual.Nullable;
 */
 
 import com.sun.source.tree.LambdaExpressionTree;
+import com.sun.source.tree.MethodTree;
+import com.sun.source.tree.ReturnTree;
 import com.sun.tools.javac.code.Symbol.MethodSymbol;
-import org.checkerframework.dataflow.cfg.node.AssignmentContext.LambdaReturnContext;
-import org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodReturnContext;
-import org.checkerframework.dataflow.util.HashCodeUtils;
-
 import java.util.Collection;
 import java.util.Collections;
-
 import javax.lang.model.type.TypeKind;
 import javax.lang.model.util.Types;
-
-import com.sun.source.tree.MethodTree;
-import com.sun.source.tree.ReturnTree;
+import org.checkerframework.dataflow.cfg.node.AssignmentContext.LambdaReturnContext;
+import org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodReturnContext;
+import org.checkerframework.dataflow.util.HashCodeUtils;
 
 /**
  * A node for a return statement:
@@ -28,7 +25,6 @@ import com.sun.source.tree.ReturnTree;
  * </pre>
  *
  * @author Stefan Heule
- *
  */
 public class ReturnNode extends Node {
 
@@ -42,14 +38,18 @@ public class ReturnNode extends Node {
         result.setAssignmentContext(new MethodReturnContext(methodTree));
     }
 
-    public ReturnNode(ReturnTree t, /*@Nullable*/ Node result, Types types, LambdaExpressionTree lambda, MethodSymbol methodSymbol) {
+    public ReturnNode(
+            ReturnTree t,
+            /*@Nullable*/ Node result,
+            Types types,
+            LambdaExpressionTree lambda,
+            MethodSymbol methodSymbol) {
         super(types.getNoType(TypeKind.NONE));
         this.result = result;
         tree = t;
         result.setAssignmentContext(new LambdaReturnContext(methodSymbol));
     }
 
-
     public Node getResult() {
         return result;
     }
@@ -97,5 +97,4 @@ public class ReturnNode extends Node {
             return Collections.singletonList(result);
         }
     }
-
 }