1 files changed, 5 insertions, 16 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/ExceptionBlock.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/ExceptionBlock.java
index c00a7e1e34..a549c5f03f 100644
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/ExceptionBlock.java
+++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/ExceptionBlock.java
@@ -2,37 +2,26 @@ package org.checkerframework.dataflow.cfg.block;
 
 import java.util.Map;
 import java.util.Set;
-
 import javax.lang.model.type.TypeMirror;
-
 import org.checkerframework.dataflow.cfg.node.Node;
 
 /**
- * Represents a basic block that contains exactly one {@link Node} which can
- * throw an exception. This block has exactly one non-exceptional successor, and
- * one or more exceptional successors.
- *
- * <p>
+ * Represents a basic block that contains exactly one {@link Node} which can throw an exception.
+ * This block has exactly one non-exceptional successor, and one or more exceptional successors.
  *
- * The following invariant holds.
+ * <p>The following invariant holds.
  *
  * <pre>
  * getNode().getBlock() == this
  * </pre>
  *
  * @author Stefan Heule
- *
  */
 public interface ExceptionBlock extends SingleSuccessorBlock {
 
-    /**
-     * @return The node of this block.
-     */
+    /** @return the node of this block */
     Node getNode();
 
-    /**
-     * @return The list of exceptional successor blocks as an unmodifiable map.
-     */
+    /** @return the list of exceptional successor blocks as an unmodifiable map */
     Map<TypeMirror, Set<Block>> getExceptionalSuccessors();
-
 }