build.gradle | 628 8 + 620 - 0 !
settings.gradle | 4 0 + 4 - 0 !
2 files changed, 8 insertions(+), 624 deletions(-)

 allow gradle to correctly build this package

docs/developer/gsoc-ideas.html | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 use local source for auto-fetched images

dataflow/src/main/java/org/checkerframework/dataflow/cfg/CFGBuilder.java | 8 4 + 4 - 0 !
1 file changed, 4 insertions(+), 4 deletions(-)

 build correctly since casetree.getexpression() is deprecated
 Hack to use the newer getExpressions() to prevent a Warning that becomes an
 Error thanks to -Werror. This file was removed in upstream 3.7.1 and therefore
 this patch should no longer be needed once that version or higher is in Debian.

javacutil/src/main/java/org/checkerframework/javacutil/trees/TreeBuilder.java | 6 6 + 0 - 0 !
1 file changed, 6 insertions(+)

 address compiler warnings with java 21

javacutil/src/main/java/org/checkerframework/javacutil/TypeAnnotationUtils.java | 82 74 + 8 - 0 !
1 file changed, 74 insertions(+), 8 deletions(-)

 [patch] prevent duplicate annotations in .class files; fixes #3956

javacutil/src/main/java/org/checkerframework/javacutil/Resolver.java | 42 36 + 6 - 0 !
1 file changed, 36 insertions(+), 6 deletions(-)

 [patch] make the checker framework compile with/run on jdk 25

javacutil/src/main/java/org/checkerframework/javacutil/TypeAnnotationUtils.java | 96 78 + 18 - 0 !
1 file changed, 78 insertions(+), 18 deletions(-)

 [patch] improve attributeequals (#4026)

dataflow/build.gradle | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 rename 'archivefilename' to 'archivename' for gradle 4