1 files changed, 15 insertions, 23 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ValueLiteralNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ValueLiteralNode.java
index 68058d3ccc..4c9c18f0af 100644
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ValueLiteralNode.java
+++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ValueLiteralNode.java
@@ -1,13 +1,10 @@
 package org.checkerframework.dataflow.cfg.node;
 
-import org.checkerframework.dataflow.util.HashCodeUtils;
-
-import org.checkerframework.javacutil.InternalUtils;
-
+import com.sun.source.tree.LiteralTree;
 import java.util.Collection;
 import java.util.Collections;
-
-import com.sun.source.tree.LiteralTree;
+import org.checkerframework.dataflow.util.HashCodeUtils;
+import org.checkerframework.javacutil.InternalUtils;
 
 /*>>>
 import org.checkerframework.checker.nullness.qual.Nullable;
@@ -15,28 +12,26 @@ import org.checkerframework.checker.nullness.qual.Nullable;
 
 /**
  * A node for a literals that have some form of value:
+ *
  * <ul>
- * <li>integer literal</li>
- * <li>long literal</li>
- * <li>char literal</li>
- * <li>string literal</li>
- * <li>float literal</li>
- * <li>double literal</li>
- * <li>boolean literal</li>
- * <li>null literal</li>
+ *   <li>integer literal
+ *   <li>long literal
+ *   <li>char literal
+ *   <li>string literal
+ *   <li>float literal
+ *   <li>double literal
+ *   <li>boolean literal
+ *   <li>null literal
  * </ul>
  *
  * @author Stefan Heule
- *
  */
 public abstract class ValueLiteralNode extends Node {
 
     protected final LiteralTree tree;
 
-    /**
-     * @return The value of the literal.
-     */
-    abstract public /*@Nullable*/ Object getValue();
+    /** @return the value of the literal */
+    public abstract /*@Nullable*/ Object getValue();
 
     public ValueLiteralNode(LiteralTree tree) {
         super(InternalUtils.typeOf(tree));
@@ -53,9 +48,7 @@ public abstract class ValueLiteralNode extends Node {
         return String.valueOf(getValue());
     }
 
-    /**
-     * Compare the value of this nodes.
-     */
+    /** Compare the value of this nodes. */
     @Override
     public boolean equals(Object obj) {
         if (obj == null || !(obj instanceof ValueLiteralNode)) {
@@ -76,5 +69,4 @@ public abstract class ValueLiteralNode extends Node {
     public Collection<Node> getOperands() {
         return Collections.emptyList();
     }
-
 }