From b6a3b37fe6e1955473ad81aa979f0ba151df7993 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Tue, 27 Oct 2020 10:00:40 -0700
Subject: [PATCH] Fix Javadoc errors

---
 .../org/checkerframework/dataflow/util/MostlySingleton.java | 2 +-
 .../checkerframework/framework/flow/CFAbstractTransfer.java | 2 +-
 .../org/checkerframework/javacutil/AnnotationFormatter.java | 6 +-----
 3 files changed, 3 insertions(+), 7 deletions(-)

diff --git a/dataflow/src/main/java/org/checkerframework/dataflow/util/MostlySingleton.java b/dataflow/src/main/java/org/checkerframework/dataflow/util/MostlySingleton.java
index c901834b01a..d22626caf68 100644
--- a/dataflow/src/main/java/org/checkerframework/dataflow/util/MostlySingleton.java
+++ b/dataflow/src/main/java/org/checkerframework/dataflow/util/MostlySingleton.java
@@ -6,7 +6,7 @@
 
 /**
  * A set that is more efficient than HashSet for 0 and 1 elements. Uses {@code Objects.equals} for
- * object comparison and a {@link HashSet} for backing storage.
+ * object comparison and a {@link LinkedHashSet} for backing storage.
  */
 public final class MostlySingleton<T extends Object> extends AbstractMostlySingleton<T> {
 
diff --git a/framework/src/main/java/org/checkerframework/framework/flow/CFAbstractTransfer.java b/framework/src/main/java/org/checkerframework/framework/flow/CFAbstractTransfer.java
index 790e96f76d7..787d84765de 100644
--- a/framework/src/main/java/org/checkerframework/framework/flow/CFAbstractTransfer.java
+++ b/framework/src/main/java/org/checkerframework/framework/flow/CFAbstractTransfer.java
@@ -777,7 +777,7 @@ public TransferResult<V, S> visitNotEqual(NotEqualNode n, TransferInput<V, S> p)
      * twice with {@code firstNode} and {@code secondNode} reversed, to refine each of them.
      *
      * <p>Note that when overriding this method, when a new type is inserted into the store, {@link
-     * splitAssignments} should be called, and the new type should be inserted into the store for
+     * #splitAssignments} should be called, and the new type should be inserted into the store for
      * each of the resulting nodes.
      *
      * @param res the previous result
diff --git a/javacutil/src/main/java/org/checkerframework/javacutil/AnnotationFormatter.java b/javacutil/src/main/java/org/checkerframework/javacutil/AnnotationFormatter.java
index 4e98f322423..3c9816c2bcf 100644
--- a/javacutil/src/main/java/org/checkerframework/javacutil/AnnotationFormatter.java
+++ b/javacutil/src/main/java/org/checkerframework/javacutil/AnnotationFormatter.java
@@ -4,11 +4,7 @@
 import javax.lang.model.element.AnnotationMirror;
 import org.checkerframework.dataflow.qual.SideEffectFree;
 
-/**
- * Converts AnnotationMirrors to Strings. Used when converting AnnotatedTypeMirrors to Strings.
- *
- * @see org.checkerframework.framework.type.AnnotatedTypeFormatter
- */
+/** Converts AnnotationMirrors to Strings. Used when converting AnnotatedTypeMirrors to Strings. */
 public interface AnnotationFormatter {
 
     /**