Migrate from Checker Framework annotations to JSpecify annotations.

This is the next step toward [using JSpecify in Guava](jspecify/jspecify#239 (comment)).

RELNOTES=Migrated from Checker Framework annotations to JSpecify annotations.
PiperOrigin-RevId: 708383706

android/guava-testlib/src/com/google/common/collect/testing/AbstractCollectionTester.java

@@ -20,7 +20,7 @@
 import com.google.errorprone.annotations.CanIgnoreReturnValue;
 import java.util.Collection;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 import org.junit.Ignore;
 
 /**

android/guava-testlib/src/com/google/common/collect/testing/AbstractContainerTester.java

@@ -28,7 +28,7 @@
 import java.util.Collection;
 import java.util.List;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 import org.junit.Ignore;
 
 /**

android/guava-testlib/src/com/google/common/collect/testing/AbstractIteratorTester.java

@@ -35,7 +35,7 @@
 import java.util.Set;
 import java.util.Stack;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Most of the logic for {@link IteratorTester} and {@link ListIteratorTester}.

android/guava-testlib/src/com/google/common/collect/testing/AbstractMapTester.java

@@ -27,7 +27,7 @@
 import java.util.Map;
 import java.util.Map.Entry;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 import org.junit.Ignore;
 
 /**

android/guava-testlib/src/com/google/common/collect/testing/AbstractTester.java

@@ -21,7 +21,7 @@
 import com.google.common.annotations.J2ktIncompatible;
 import junit.framework.TestCase;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * This abstract base class for testers allows the framework to inject needed information after

android/guava-testlib/src/com/google/common/collect/testing/BaseComparable.java

@@ -18,7 +18,7 @@
 
 import com.google.common.annotations.GwtCompatible;
 import java.io.Serializable;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Simple base class to verify that we handle generics correctly.

android/guava-testlib/src/com/google/common/collect/testing/DerivedCollectionGenerators.java

@@ -34,7 +34,7 @@
 import java.util.SortedMap;
 import java.util.SortedSet;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Derived suite generators, split out of the suite builders so that they are available to GWT.

android/guava-testlib/src/com/google/common/collect/testing/FeatureSpecificTestSuiteBuilder.java

@@ -42,7 +42,7 @@
 import junit.framework.Test;
 import junit.framework.TestCase;
 import junit.framework.TestSuite;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Creates, based on your criteria, a JUnit test suite that exhaustively tests the object generated

android/guava-testlib/src/com/google/common/collect/testing/Helpers.java

@@ -45,7 +45,7 @@
 import java.util.Map.Entry;
 import java.util.Set;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 @GwtCompatible(emulated = true)
 @NullMarked

android/guava-testlib/src/com/google/common/collect/testing/IteratorTester.java

@@ -20,7 +20,7 @@
 import java.util.Collections;
 import java.util.Iterator;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * A utility for testing an Iterator implementation by comparing its behavior to that of a "known

android/guava-testlib/src/com/google/common/collect/testing/ListIteratorTester.java

@@ -21,7 +21,7 @@
 import java.util.List;
 import java.util.ListIterator;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * A utility similar to {@link IteratorTester} for testing a {@link ListIterator} against a known

android/guava-testlib/src/com/google/common/collect/testing/MapInterfaceTest.java

@@ -34,7 +34,7 @@
 import java.util.Set;
 import junit.framework.TestCase;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Tests representing the contract of {@link Map}. Concrete subclasses of this base class test

android/guava-testlib/src/com/google/common/collect/testing/MinimalCollection.java

@@ -23,9 +23,9 @@
 import java.util.AbstractCollection;
 import java.util.Collection;
 import java.util.Iterator;
-import org.checkerframework.checker.nullness.qual.NonNull;
+import org.jspecify.annotations.NonNull;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * A simplistic collection which implements only the bare minimum allowed by the spec, and throws

android/guava-testlib/src/com/google/common/collect/testing/MinimalIterable.java

@@ -21,7 +21,7 @@
 import com.google.common.annotations.GwtCompatible;
 import java.util.Collection;
 import java.util.Iterator;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * An implementation of {@code Iterable} which throws an exception on all invocations of the {@link

android/guava-testlib/src/com/google/common/collect/testing/MinimalSet.java

@@ -23,9 +23,9 @@
 import java.util.Collection;
 import java.util.List;
 import java.util.Set;
-import org.checkerframework.checker.nullness.qual.NonNull;
+import org.jspecify.annotations.NonNull;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * A simplistic set which implements the bare minimum so that it can be used in tests without

android/guava-testlib/src/com/google/common/collect/testing/OneSizeGenerator.java

@@ -24,7 +24,7 @@
 import java.util.Collection;
 import java.util.List;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Generator for collection of a particular size.

android/guava-testlib/src/com/google/common/collect/testing/OneSizeTestContainerGenerator.java

@@ -20,7 +20,7 @@
 import com.google.common.collect.testing.features.CollectionSize;
 import java.util.Collection;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * The subject-generator interface accepted by Collection testers, for testing a Collection at one

android/guava-testlib/src/com/google/common/collect/testing/ReflectionFreeAssertThrows.java

@@ -32,7 +32,7 @@
 import java.util.concurrent.TimeoutException;
 import junit.framework.AssertionFailedError;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /** Replacements for JUnit's {@code assertThrows} that work under GWT/J2CL. */
 @GwtCompatible(emulated = true)

android/guava-testlib/src/com/google/common/collect/testing/SafeTreeMap.java

@@ -29,7 +29,7 @@
 import java.util.Set;
 import java.util.SortedMap;
 import java.util.TreeMap;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * A wrapper around {@code TreeMap} that aggressively checks to see if keys are mutually comparable.

android/guava-testlib/src/com/google/common/collect/testing/SafeTreeSet.java

@@ -25,7 +25,7 @@
 import java.util.NavigableSet;
 import java.util.SortedSet;
 import java.util.TreeSet;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * A wrapper around {@code TreeSet} that aggressively checks to see if elements are mutually

android/guava-testlib/src/com/google/common/collect/testing/SampleElements.java

@@ -24,7 +24,7 @@
 import java.util.List;
 import java.util.Map.Entry;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * A container class for the five sample elements we need for testing.

android/guava-testlib/src/com/google/common/collect/testing/SortedMapTestSuiteBuilder.java

@@ -31,7 +31,7 @@
 import java.util.Map.Entry;
 import java.util.Set;
 import junit.framework.TestSuite;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Creates, based on your criteria, a JUnit test suite that exhaustively tests a SortedMap

android/guava-testlib/src/com/google/common/collect/testing/SpliteratorTester.java

@@ -43,7 +43,7 @@
 import java.util.function.Function;
 import java.util.function.Supplier;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Tester for {@code Spliterator} implementations.

android/guava-testlib/src/com/google/common/collect/testing/TestCollectionGenerator.java

@@ -19,7 +19,7 @@
 import com.google.common.annotations.GwtCompatible;
 import java.util.Collection;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Creates collections, containing sample elements, to be tested.

android/guava-testlib/src/com/google/common/collect/testing/TestContainerGenerator.java

@@ -21,7 +21,7 @@
 import java.util.List;
 import java.util.Map;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * To be implemented by test generators of things that can contain elements. Such things include

android/guava-testlib/src/com/google/common/collect/testing/TestListGenerator.java

@@ -19,7 +19,7 @@
 import com.google.common.annotations.GwtCompatible;
 import java.util.List;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Creates sets, containing sample elements, to be tested.

android/guava-testlib/src/com/google/common/collect/testing/TestMapEntrySetGenerator.java

@@ -24,7 +24,7 @@
 import java.util.Map.Entry;
 import java.util.Set;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Creates map entries using sample keys and sample values.

android/guava-testlib/src/com/google/common/collect/testing/TestMapGenerator.java

@@ -19,7 +19,7 @@
 import com.google.common.annotations.GwtCompatible;
 import java.util.Map;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Creates maps, containing sample elements, to be tested.

android/guava-testlib/src/com/google/common/collect/testing/TestQueueGenerator.java

@@ -19,7 +19,7 @@
 import com.google.common.annotations.GwtCompatible;
 import java.util.Queue;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Creates queues, containing sample elements, to be tested.

android/guava-testlib/src/com/google/common/collect/testing/TestSetGenerator.java

@@ -19,7 +19,7 @@
 import com.google.common.annotations.GwtCompatible;
 import java.util.Set;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Creates sets, containing sample elements, to be tested.

android/guava-testlib/src/com/google/common/collect/testing/TestSortedMapGenerator.java

@@ -20,7 +20,7 @@
 import java.util.Map.Entry;
 import java.util.SortedMap;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Creates sorted maps, containing sample elements, to be tested.

android/guava-testlib/src/com/google/common/collect/testing/TestSortedSetGenerator.java

@@ -19,7 +19,7 @@
 import com.google.common.annotations.GwtCompatible;
 import java.util.SortedSet;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Creates sorted sets, containing sample elements, to be tested.

android/guava-testlib/src/com/google/common/collect/testing/TestSubjectGenerator.java

@@ -18,7 +18,7 @@
 
 import com.google.common.annotations.GwtCompatible;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * To be implemented by test generators that can produce test subjects without requiring any

android/guava-testlib/src/com/google/common/collect/testing/UnhashableObject.java

@@ -17,7 +17,7 @@
 package com.google.common.collect.testing;
 
 import com.google.common.annotations.GwtCompatible;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * An unhashable object to be used in testing as values in our collections.

android/guava-testlib/src/com/google/common/collect/testing/features/CollectionSize.java

@@ -25,7 +25,7 @@
 import java.lang.annotation.RetentionPolicy;
 import java.util.Collection;
 import java.util.Set;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * When describing the features of the collection produced by a given generator (i.e. in a call to

android/guava-testlib/src/com/google/common/collect/testing/features/TesterRequirements.java

@@ -21,7 +21,7 @@
 import com.google.common.annotations.GwtCompatible;
 import java.util.Collections;
 import java.util.Set;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Encapsulates the constraints that a class under test must satisfy in order for a tester method to

android/guava-testlib/src/com/google/common/collect/testing/google/AbstractBiMapTester.java

@@ -27,7 +27,7 @@
 import java.util.List;
 import java.util.Map.Entry;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 import org.junit.Ignore;
 
 /** Skeleton for a tester of a {@code BiMap}. */

android/guava-testlib/src/com/google/common/collect/testing/google/AbstractListMultimapTester.java

@@ -21,7 +21,7 @@
 import com.google.common.collect.ListMultimap;
 import java.util.Collection;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 import org.junit.Ignore;
 
 /**

android/guava-testlib/src/com/google/common/collect/testing/google/AbstractMultimapTester.java

@@ -29,7 +29,7 @@
 import java.util.Iterator;
 import java.util.Map.Entry;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 import org.junit.Ignore;
 
 /**

android/guava-testlib/src/com/google/common/collect/testing/google/DerivedGoogleCollectionGenerators.java

@@ -34,7 +34,7 @@
 import java.util.Map.Entry;
 import java.util.Set;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Derived suite generators for Guava collection interfaces, split out of the suite builders so that

android/guava-testlib/src/com/google/common/collect/testing/google/ListMultimapAsMapTester.java

@@ -34,7 +34,7 @@
 import java.util.Map.Entry;
 import java.util.Set;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 import org.junit.Ignore;
 
 /**

android/guava-testlib/src/com/google/common/collect/testing/google/MultimapEqualsTester.java

@@ -28,7 +28,7 @@
 import java.util.List;
 import java.util.Map.Entry;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 import org.junit.Ignore;
 
 /**

android/guava-testlib/src/com/google/common/collect/testing/google/MultimapPutTester.java

@@ -38,7 +38,7 @@
 import java.util.List;
 import java.util.Map.Entry;
 import org.jspecify.annotations.NullMarked;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 import org.junit.Ignore;
 
 /**