Checker Framework 3.27.0-eisop1

Version 3.27.0-eisop1 (November 6, 2022)

User-visible changes:

The new command-line argument -AwarnRedundantAnnotations warns about redundant annotations.
With this flag, a warning is issued if an explicitly written annotation on a type is the same
as the default annotation for this type and location.

Support additional Nullness Checker annotation aliases from:

• io.micronaut.core.annotation
• io.vertx.codegen.annotations
• jakarta.annotation
• net.bytebuddy[.agent].utility.nullability

Implementation details:

When reporting issues on an artificial tree (generated by the compiler), always
try to find the closest non-artificial parent in the AST path to provide position
information.

Formatting rules for *.ajava files are now consistent with the ones for *.java files.
Imports are now ignored when parsing ajava files.

Moved method isAutoGeneratedRecordMember(Element e), which was added in 3.27.0,
from TreeUtils to the more appropriate ElementUtils.

Refined the return types of several TreeUtils elementFromDeclaration methods
to be @NonNull.

Closed issues:

#244, #360.

Version 3.27.0 (November 1, 2022)

User-visible changes:

The Constant Value Checker supports new annotation @DoesNotMatchRegex.

Closed issues:

typetools#5238, typetools#5360, typetools#5362, typetools#5387.