Your message dated Mon, 23 Mar 2026 04:33:35 +0000
with message-id <[email protected]>
and subject line Bug#1128165: fixed in checker-framework-java 3.2.0+ds-4
has caused the Debian Bug report #1128165,
regarding checker-framework-java: FTBFS with default Java 25
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1128165: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1128165
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: checker-framework-java
Version: 3.2.0+ds-3
Severity: normal
Tags: ftbfs
Usertags: default-java25
Dear Maintainers,
The package checker-framework-java ftbfs with default Java 25.
The relevant part of the build log:
---------------
All input files are considered out-of-date for incremental task
':javacutil:compileJava'.
Compiling with JDK Java compiler API.
/<<PKGBUILDDIR>>/javacutil/src/main/java/org/checkerframework/javacutil/TypeAnnotationUtils.java:67:
error: cannot find symbol
ByteBuffer b1 = ByteBuffer.wrap(n1.getByteArray(), n1.getByteOffset(),
n1.getByteLength());
^
symbol: method getByteArray()
location: variable n1 of type Name
/<<PKGBUILDDIR>>/javacutil/src/main/java/org/checkerframework/javacutil/TypeAnnotationUtils.java:67:
error: cannot find symbol
ByteBuffer b1 = ByteBuffer.wrap(n1.getByteArray(), n1.getByteOffset(),
n1.getByteLength());
^
symbol: method getByteOffset()
location: variable n1 of type Name
/<<PKGBUILDDIR>>/javacutil/src/main/java/org/checkerframework/javacutil/TypeAnnotationUtils.java:67:
error: cannot find symbol
ByteBuffer b1 = ByteBuffer.wrap(n1.getByteArray(), n1.getByteOffset(),
n1.getByteLength());
^
symbol: method getByteLength()
location: variable n1 of type Name
/<<PKGBUILDDIR>>/javacutil/src/main/java/org/checkerframework/javacutil/TypeAnnotationUtils.java:68:
error: cannot find symbol
ByteBuffer b2 = ByteBuffer.wrap(n2.getByteArray(), n2.getByteOffset(),
n2.getByteLength());
^
symbol: method getByteArray()
location: variable n2 of type Name
/<<PKGBUILDDIR>>/javacutil/src/main/java/org/checkerframework/javacutil/TypeAnnotationUtils.java:68:
error: cannot find symbol
ByteBuffer b2 = ByteBuffer.wrap(n2.getByteArray(), n2.getByteOffset(),
n2.getByteLength());
^
symbol: method getByteOffset()
location: variable n2 of type Name
/<<PKGBUILDDIR>>/javacutil/src/main/java/org/checkerframework/javacutil/TypeAnnotationUtils.java:68:
error: cannot find symbol
ByteBuffer b2 = ByteBuffer.wrap(n2.getByteArray(), n2.getByteOffset(),
n2.getByteLength());
^
symbol: method getByteLength()
location: variable n2 of type Name
/<<PKGBUILDDIR>>/javacutil/src/main/java/org/checkerframework/javacutil/Resolver.java:163:
error: an enclosing instance that contains Log.DiscardDiagnosticHandler is
required
Log.DiagnosticHandler discardDiagnosticHandler = new
Log.DiscardDiagnosticHandler(log);
^
/<<PKGBUILDDIR>>/javacutil/src/main/java/org/checkerframework/javacutil/Resolver.java:195:
error: an enclosing instance that contains Log.DiscardDiagnosticHandler is
required
Log.DiagnosticHandler discardDiagnosticHandler = new
Log.DiscardDiagnosticHandler(log);
^
/<<PKGBUILDDIR>>/javacutil/src/main/java/org/checkerframework/javacutil/Resolver.java:229:
error: an enclosing instance that contains Log.DiscardDiagnosticHandler is
required
Log.DiagnosticHandler discardDiagnosticHandler = new
Log.DiscardDiagnosticHandler(log);
^
/<<PKGBUILDDIR>>/javacutil/src/main/java/org/checkerframework/javacutil/Resolver.java:257:
error: an enclosing instance that contains Log.DiscardDiagnosticHandler is
required
Log.DiagnosticHandler discardDiagnosticHandler = new
Log.DiscardDiagnosticHandler(log);
^
/<<PKGBUILDDIR>>/javacutil/src/main/java/org/checkerframework/javacutil/Resolver.java:275:
error: an enclosing instance that contains Log.DiscardDiagnosticHandler is
required
Log.DiagnosticHandler discardDiagnosticHandler = new
Log.DiscardDiagnosticHandler(log);
^
/<<PKGBUILDDIR>>/javacutil/src/main/java/org/checkerframework/javacutil/Resolver.java:311:
error: an enclosing instance that contains Log.DiscardDiagnosticHandler is
required
Log.DiagnosticHandler discardDiagnosticHandler = new
Log.DiscardDiagnosticHandler(log);
^
12 errors
:javacutil:compileJava FAILED
:javacutil:compileJava (Thread[#33,Daemon worker,5,main]) completed. Took 0.85
secs.
---------------
-- System Information:
Debian Release: forky/sid
APT prefers questing-updates
APT policy: (500, 'questing-updates'), (500, 'questing-security'), (500,
'questing'), (100, 'questing-backports')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 6.17.0-12-generic (SMP w/32 CPU threads; PREEMPT)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_WARN, TAINT_OOT_MODULE
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
--- End Message ---
--- Begin Message ---
Source: checker-framework-java
Source-Version: 3.2.0+ds-4
Done: Olek Wojnar <[email protected]>
We believe that the bug you reported is fixed in the latest version of
checker-framework-java, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Olek Wojnar <[email protected]> (supplier of updated checker-framework-java
package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 22 Mar 2026 23:12:44 -0400
Source: checker-framework-java
Architecture: source
Version: 3.2.0+ds-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Java Maintainers
<[email protected]>
Changed-By: Olek Wojnar <[email protected]>
Closes: 1128165
Changes:
checker-framework-java (3.2.0+ds-4) unstable; urgency=medium
.
[ Vladimir Petko ]
* Cherry-pick upstream patches to resolve Java 25 ftbfs
(LP: #2142432) (Closes: #1128165):
- d/p/improve-attribute-equals.patch
- d/p/java25-compat.patch
- d/p/prevent-duplicate-annotations-in-class-files.patch
.
[ Olek Wojnar ]
* Enable shadow jars
* Update d/watch to version 5
* Move appropriate Build-Depends to Build-Depends-Indep
- Prevent gbp dependency issues when running `clean`
* Replace Free Software Foundation address with URL
* Bump standards to 4.7.3: Remove d/control Priority field
* Remove redundant "Rules-Requires-Root: no" in d/control
* Remove unneeded source lintian override
- Previously necessary due to lintian bug that is now fixed
Checksums-Sha1:
aca075400a96901bca80562bfe5da8f8be8a34d1 2327
checker-framework-java_3.2.0+ds-4.dsc
0d663c1820007f8eae4e5a452a480637898052d4 18680
checker-framework-java_3.2.0+ds-4.debian.tar.xz
95d1ed045e33236ea3f176495923c787429baad3 15487
checker-framework-java_3.2.0+ds-4_amd64.buildinfo
Checksums-Sha256:
c65042c40653cb5d08187fe5e0e3dfcb3971c9a858277f09ee2d33fd5dfaee8c 2327
checker-framework-java_3.2.0+ds-4.dsc
ee5f840e70a869520ad713195f0b8caa5a4ceb8db16857ea24fc4146bbcb3700 18680
checker-framework-java_3.2.0+ds-4.debian.tar.xz
984394bc18df2d7e39c208191e65efb7483346576437840e0c72ff3207d62832 15487
checker-framework-java_3.2.0+ds-4_amd64.buildinfo
Files:
b6abddee1f049074d16428df865d0fef 2327 java optional
checker-framework-java_3.2.0+ds-4.dsc
fb483aa3c18b71b7f62a48f2c4e6c6be 18680 java optional
checker-framework-java_3.2.0+ds-4.debian.tar.xz
4fe44e83092eb6eb1c69d472dac117d9 15487 java optional
checker-framework-java_3.2.0+ds-4_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEELejiDiSiH9jtG0ynfYPUBqCdweQFAmnAt/0ACgkQfYPUBqCd
weS2sg//aEe7s16m8QaqEWHmgAve/Qv4QZ+pqUdTgCQLnvo3aZ5u3srvySPRykvz
SAvcFaw0RKJsshNJ7mGk8tivpTCuCgNy/G7Lei+3rzCom0TCfNvK0r4aI9SX/1Qg
qPLiF8pe8eGyB+XSj/oRi+3Swya07QCYvEGnBY6zn2OZyS8UTC6KtciIUC5q0zpo
84/QwmXHqPhzTrfFiJaSaR+OOq6zSblxnB2VR1ZGSzPrzj1BwWmmr9J77hZIsrln
IbmSCLRT5/yyjon2xem16d+qLU8k2t26/zbHOjfSsSqe09jJ2IGzGBC9w/F8dEmc
f30bz0R9dR2jtTJSZSGaZVajl7+BOvOBx3+X11QfqQtC676VtcLnrGUA4AT0LcQW
nMHYiXvizs3CyFv3dQkoiGdjk6pLuWT6DuGZdo3OeGp0IlAin6M85vaIsDqcLFNC
IWfLEwwNg+eazXzISqD/Jyb1iYRr8NHAJOj0Wt3WTOrtXWThJc4PnejfHtjgVjsg
nXV9/DnfdtN7G4xZWk+xmjGCMfcH8yBjimdQUwymAFI5OwHzd4sQpAG51R2j/Vw2
VFCuYmyb3avXahIHg7fmm5sLDn2QFvT0yN8SGWZ0wVJgar2fXdCwM6HX+ys79Qwk
mbS6pTBlhkLrKZx+QJHM2QqAa3QVKKfdoKxrVQCFy5zvjZUcDb0=
=TvM+
-----END PGP SIGNATURE-----
pgp8JDv2AoenG.pgp
Description: PGP signature
--- End Message ---
