Your message dated Mon, 23 Mar 2026 03:54:27 +0000
with message-id <[email protected]>
and subject line Bug#1128165: fixed in checker-framework-java 3.2.0+ds-4~exp1
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~exp1
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~exp1
Distribution: experimental
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~exp1) experimental; urgency=medium
.
* Ephemeral upload to experimental to test Build-Depends-Indep
[ 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:
046c8b06af68804c4a289e9af98567ab887a9b3d 2347
checker-framework-java_3.2.0+ds-4~exp1.dsc
be9a92aff272956cc19d2e362be4a973b2abf130 18708
checker-framework-java_3.2.0+ds-4~exp1.debian.tar.xz
4e99601993b505e4c213272412ff75f1eded81b8 15522
checker-framework-java_3.2.0+ds-4~exp1_amd64.buildinfo
Checksums-Sha256:
714d523a602a62273ca7a67052ba33cc1cb196b78c87dd562ae1410839af7e9f 2347
checker-framework-java_3.2.0+ds-4~exp1.dsc
17d121967a5c2906fa3205715253d3f546fbe8d2dd5a9b8642147d516575b48a 18708
checker-framework-java_3.2.0+ds-4~exp1.debian.tar.xz
9c08074a1ddc7c472bc066f8643a688cae2873bee3056ee62ba0623f990b3b52 15522
checker-framework-java_3.2.0+ds-4~exp1_amd64.buildinfo
Files:
17f2ff02e51908950ba72aaf01214043 2347 java optional
checker-framework-java_3.2.0+ds-4~exp1.dsc
08a97fc7ff55f60b3e6b2d8e00510d9c 18708 java optional
checker-framework-java_3.2.0+ds-4~exp1.debian.tar.xz
fd438d48a18c7a8115a6e24fcb26e376 15522 java optional
checker-framework-java_3.2.0+ds-4~exp1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEELejiDiSiH9jtG0ynfYPUBqCdweQFAmnAtKEACgkQfYPUBqCd
weRpFA//aX4qqlao5mAjf2LuD2ca0CUrjTkXxq54fOl9dWNyJcvzqlZYufphemZ3
Jm8pxiIDE/z6Dm/ikvVhIrHs4qxSUT81CWsuvQT+nW8K1JS35xnXAADoxJegwcz5
3gwC9PhcKPaMPLRZPQYXk0VEOIAM+yLyLK/h/Y9ATARI41vBrHA1HW925Lu9kjet
lHWKHdxtStdchPIBiLbDS+aJqMa2QSY5Ie2eHQIDC5rjcjwKO6iEc456kGhrYmqr
IF3Onw9GwYhL1plwInVbXNnpFB5+Y8v1bLMyW6Be9PWBE7JJ1NLBh5iLL4HRlH0S
KfaMNKh2fq+vF6hb+1VmknIw+MZfpNqCnX5WElhxwhHU8VSLlpcqn5o+TPOxpBEh
YlzVp8TEnl+U0k4gvar+nPv4nUw7TEssDIVimWF88JGFzdqRlB+QAzsX9u5XwkfQ
1DQJalG0JNJOJm4yqtjJhdfKtqpak7T6/Gpc7X/pe9KOchnP/DIJf5FE3BmjM2Or
aUvgOQKN3jor+ni6WcE5yRYy0sev5u5UwD+EVZDUlO8L8NnRyeSHTaONB0Xys/f8
esgaRyeE/qA+XQzRpXMQIv+GylOs4PWs2UUen52dtjXRhvZYKVdDVhEElXzWS7Jz
zPALaXS4HQys9aOtQxVf6a4nM+8sqKky0IZlyYjgyYsq6YRg/EI=
=1S52
-----END PGP SIGNATURE-----
pgp21R5LlRCj1.pgp
Description: PGP signature
--- End Message ---