Checker Framework 3.42.0-eisop5

Version 3.42.0-eisop5 (December 20, 2024)

User-visible changes:

Removed support for the -Anocheckjdk option, which was deprecated in version 3.1.1.
Use -ApermitMissingJdk instead.

The Nullness Checker now reports an error if an array or object creation is annotated
with @Nullable, as array and object creations are intrinsically non-null.

Implementation details:

Changed org.checkerframework.framework.util.ContractsFromMethod to an interface.
Use DefaultContractsFromMethod to get the default behavior or use the new
NoContractsFromMethod if you want no support for contracts.

Make SourceChecker#suppressWarningsString protected to allow adaptation in subclasses.

Closed issues:

#413, #782, #815, #826, #860, #873, #875, #927,
#982, #1012.