1 files changed, 3 insertions, 9 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/BlockImpl.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/BlockImpl.java
index c3df418ecc..0421a1e3f5 100644
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/BlockImpl.java
+++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/BlockImpl.java
@@ -6,9 +6,8 @@ import java.util.Set;
 
 /**
  * Base class of the {@link Block} implementation hierarchy.
- * 
+ *
  * @author Stefan Heule
- * 
  */
 public abstract class BlockImpl implements Block {
 
@@ -24,9 +23,7 @@ public abstract class BlockImpl implements Block {
     /** The set of predecessors. */
     protected Set<BlockImpl> predecessors;
 
-    /**
-     * @return A fresh identifier.
-     */
+    /** @return a fresh identifier */
     private static long uniqueID() {
         return lastId++;
     }
@@ -45,9 +42,7 @@ public abstract class BlockImpl implements Block {
         return type;
     }
 
-    /**
-     * @return The list of predecessors of this basic block.
-     */
+    /** @return the list of predecessors of this basic block */
     public Set<BlockImpl> getPredecessors() {
         return Collections.unmodifiableSet(predecessors);
     }
@@ -59,5 +54,4 @@ public abstract class BlockImpl implements Block {
     public void removePredecessor(BlockImpl pred) {
         predecessors.remove(pred);
     }
-
 }