The Checker Framework supports most known type annotations.

Author: mernst

lib/src/main/java/com/diffplug/spotless/java/TypeAnnotationsStep.java

@@ -51,7 +51,9 @@ private static final class State implements Serializable {
 		 */
 		private static final Set<String> typeAnnotations = new HashSet<>(
 				Arrays.asList(
-						// Type annotations from the Checker Framework.
+						// Type annotations from the Checker Framework and all the tools it
+						// supports, including FindBugs, JetBrains (IntelliJ), Eclipse, NetBeans,
+						// Spring, JML, Android, etc.
 						"A",
 						"ACCBottom",
 						"Acceleration",