[typetools/checker-framework] 7d6d85: Remove or update references to JDK 8-16

[Suzanne Millstein]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 7d6d85687d2298dbe85d59692ab85d03566a29e7
https://github.com/typetools/checker-framework/commit/7d6d85687d2298dbe85d59692ab85d03566a29e7
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-04-06 (Mon, 06 Apr 2026)

Changed paths:
M annotation-file-utilities/bin/extract-annotations
M annotation-file-utilities/bin/extract-annotations.bat
M annotation-file-utilities/bin/insert-annotations
M annotation-file-utilities/bin/insert-annotations-to-source
M annotation-file-utilities/bin/insert-annotations-to-source.bat
M annotation-file-utilities/bin/insert-annotations.bat
M annotation-file-utilities/build.gradle
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/ASTPathCriterion.java
R annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/CaseUtils.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/ASTIndex.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/ASTPath.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/tools/Anncat.java
M build.gradle
M checker-qual/src/main/java/org/checkerframework/checker/mustcall/qual/MustCallAlias.java
M checker-util/src/main/java/org/checkerframework/checker/signedness/util/SignednessUtil.java
M checker/bin-devel/Dockerfile-README
R checker/bin-devel/Dockerfile-ubuntu-jdk11
R checker/bin-devel/Dockerfile-ubuntu-jdk11-plus
R checker/bin-devel/Dockerfile-ubuntu-jdk11-plus.m4
R checker/bin-devel/Dockerfile-ubuntu-jdk11.m4
M checker/bin-devel/Makefile
M checker/bin-devel/git.pre-commit
M checker/jtreg/nullness/defaultsPersist/ReferenceInfoUtil.java
R checker/jtregJdk11/Jdk11Release8.java
A checker/jtregJdk11/Release8.java
M checker/src/main/java/org/checkerframework/checker/optional/OptionalImplVisitor.java
M checker/src/test/java/org/checkerframework/checker/test/junit/DisbarUseTest.java
M checker/src/test/java/org/checkerframework/checker/test/junit/LockTest.java
M checker/src/test/java/org/checkerframework/checker/test/junit/NullnessRecordsTest.java
M checker/src/test/java/org/checkerframework/checker/test/junit/StubparserRecordTest.java
M checker/tests/index-initializedfields/RequireJavadoc.java
M checker/tests/index-initializedfields/input-annotation-files/RequireJavadoc-org.checkerframework.checker.index.IndexChecker.ajava
M checker/tests/index-initializedfields/input-annotation-files/RequireJavadoc-org.checkerframework.checker.index.inequality.LessThanChecker.ajava
M checker/tests/index-initializedfields/input-annotation-files/RequireJavadoc-org.checkerframework.checker.index.lowerbound.LowerBoundChecker.ajava
M checker/tests/index-initializedfields/input-annotation-files/RequireJavadoc-org.checkerframework.checker.index.searchindex.SearchIndexChecker.ajava
M checker/tests/index-initializedfields/input-annotation-files/RequireJavadoc-org.checkerframework.checker.index.substringindex.SubstringIndexChecker.ajava
M checker/tests/index-initializedfields/input-annotation-files/RequireJavadoc-org.checkerframework.common.value.ValueChecker.ajava
M checker/tests/index-listindexing/GrowOnlyJdk21Test.java
M checker/tests/nullness/java-unsound/Figure1.java
M checker/tests/nullness/java-unsound/Figure4.java
M checker/tests/nullness/java-unsound/Figure7.java
M checker/tests/nullness/java8inference/Inference.java
M checker/tests/signedness/Utils.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseOne.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/CFGVisualizeLauncher.java
M docs/developer/developer-manual.html
M docs/examples/Makefile
M docs/examples/NullnessReleaseTests.java
M docs/examples/lombok/Makefile
M docs/manual/external-tools.tex
M docs/manual/troubleshooting.tex
M framework/src/main/java/org/checkerframework/common/reflection/DefaultReflectionResolver.java
M framework/src/main/java/org/checkerframework/framework/ajava/InsertAjavaAnnotations.java
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileElementTypes.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/InvocationTypeInference.java
M framework/tests/reflection/AnonymousClassTest.java
M gradle/libs.versions.toml
M javacutil/src/main/java/org/checkerframework/javacutil/ElementUtils.java
M javacutil/src/main/java/org/checkerframework/javacutil/TreeUtilsAfterJava17.java
M javacutil/src/main/java/org/checkerframework/javacutil/TypesUtils.java

Log Message:
-----------
Remove or update references to JDK 8-16

Co-authored-by: Michael Ernst <mer...@cs.washington.edu>



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications