Groups > linux.debian.bugs.dist > #1251524

Bug#1108559: cbmc: FTBFS with default Java 25

From	Vladimir Petko <vpa1977@gmail.com>
Newsgroups	linux.debian.bugs.dist
Subject	Bug#1108559: cbmc: FTBFS with default Java 25
Date	2025-07-01 06:20 +0200
Message-ID	<L3ADn-eoq2-7@gated-at.bofh.it> (permalink)
Organization	linux.* mail to news gateway

Show all headers | View raw

Source: cbmc
Version: 6.4.1-2
Severity: normal
Tags: ftbfs
Usertags: default-java25

Dear Maintainers,

The package cbmc ftbfs with default Java 25.
The relevant part of the build log:
---------------
[[1;34mINFO[m] Recompiling the module because of [1mchanged source code[m.
[[1;34mINFO[m] Compiling 85 source files with javac [debug target 1.8] to target/classes
[[1;34mINFO[m] -------------------------------------------------------------
[[1;33mWARNING[m] COMPILATION WARNING :
[[1;34mINFO[m] -------------------------------------------------------------
[[1;33mWARNING[m] bootstrap class path is not set in conjunction with -source 8
  not setting the bootstrap class path may lead to class files that cannot run on JDK 8
    --release 8 is recommended instead of -source 8 -target 1.8 because it sets the bootstrap class path automatically
[[1;33mWARNING[m] source value 8 is obsolete and will be removed in a future release
[[1;33mWARNING[m] target value 8 is obsolete and will be removed in a future release
[[1;33mWARNING[m] To suppress warnings about obsolete options, use -Xlint:-options.
[[1;33mWARNING[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/reflect/AccessibleObject.java:[30,21] java.security.AccessController in java.security has been deprecated and marked for removal
[[1;33mWARNING[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/reflect/Method.java:[35,39] sun.reflect.generics.repository.MethodRepository is internal proprietary API and may be removed in a future release
[[1;33mWARNING[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/reflect/Method.java:[36,36] sun.reflect.generics.factory.CoreReflectionFactory is internal proprietary API and may be removed in a future release
[[1;33mWARNING[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/reflect/Method.java:[37,36] sun.reflect.generics.factory.GenericsFactory is internal proprietary API and may be removed in a future release
[[1;33mWARNING[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/reflect/Method.java:[38,34] sun.reflect.generics.scope.MethodScope is internal proprietary API and may be removed in a future release
[[1;33mWARNING[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/reflect/Method.java:[39,30] sun.reflect.annotation.AnnotationType is internal proprietary API and may be removed in a future release
[[1;33mWARNING[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/reflect/Method.java:[40,30] sun.reflect.annotation.AnnotationParser is internal proprietary API and may be removed in a future release
[[1;33mWARNING[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/reflect/Executable.java:[33,30] sun.reflect.annotation.AnnotationParser is internal proprietary API and may be removed in a future release
[[1;33mWARNING[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/reflect/Executable.java:[34,30] sun.reflect.annotation.AnnotationSupport is internal proprietary API and may be removed in a future release
[[1;33mWARNING[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/reflect/Executable.java:[35,30] sun.reflect.annotation.TypeAnnotationParser is internal proprietary API and may be removed in a future release
[[1;33mWARNING[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/reflect/Executable.java:[36,30] sun.reflect.annotation.TypeAnnotation is internal proprietary API and may be removed in a future release
[[1;33mWARNING[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/reflect/Executable.java:[37,39] sun.reflect.generics.repository.ConstructorRepository is internal proprietary API and may be removed in a future release
[[1;33mWARNING[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/Class.java:[194,9] java.lang.SecurityManager in java.lang has been deprecated and marked for removal
[[1;33mWARNING[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/Class.java:[194,36] getSecurityManager() in java.lang.System has been deprecated and marked for removal
[[1;33mWARNING[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/reflect/Executable.java:[71,14] sun.reflect.generics.repository.ConstructorRepository is internal proprietary API and may be removed in a future release
[[1;33mWARNING[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/reflect/Method.java:[125,5] sun.reflect.generics.repository.MethodRepository is internal proprietary API and may be removed in a future release
[[1;34mINFO[m] 20 warnings
[[1;34mINFO[m] -------------------------------------------------------------
[[1;34mINFO[m] -------------------------------------------------------------
[[1;31mERROR[m] COMPILATION ERROR :
[[1;34mINFO[m] -------------------------------------------------------------
[[1;31mERROR[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/Object.java:[40,7] flexible constructors is a preview feature and is disabled by default.
  (use --enable-preview to enable flexible constructors)
[[1;31mERROR[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/Class.java:[199,24] cannot find symbol
  symbol:   method checkClassLoaderPermission(java.lang.ClassLoader,<nulltype>)
  location: class java.lang.ClassLoader
[[1;34mINFO[m] 2 errors
[[1;34mINFO[m] -------------------------------------------------------------
[[1;34mINFO[m] [1m------------------------------------------------------------------------[m
[[1;34mINFO[m] [1;31mBUILD FAILURE[m
[[1;34mINFO[m] [1m------------------------------------------------------------------------[m
[[1;34mINFO[m] Total time:  4.795 s
[[1;34mINFO[m] Finished at: 2025-06-11T20:28:42Z
[[1;34mINFO[m] [1m------------------------------------------------------------------------[m
[[1;31mERROR[m] Failed to execute goal [32morg.apache.maven.plugins:maven-compiler-plugin:3.13.0:compile[m [1m(default-compile)[m on project [36mmodels[m: [1;31mCompilation failure[m: Compilation failure:
[[1;31mERROR[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/Object.java:[40,7] flexible constructors is a preview feature and is disabled by default.
[[1;31mERROR[m]   (use --enable-preview to enable flexible constructors)
[[1;31mERROR[m] /<<PKGBUILDDIR>>/jbmc/lib/java-models-library/src/main/java/java/lang/Class.java:[199,24] cannot find symbol
[[1;31mERROR[m]   symbol:   method checkClassLoaderPermission(java.lang.ClassLoader,<nulltype>)
[[1;31mERROR[m]   location: class java.lang.ClassLoader
[[1;31mERROR[m] -> [1m[Help 1][m
---------------


-- System Information:
Debian Release: trixie/sid
  APT prefers plucky-updates
  APT policy: (500, 'plucky-updates'), (500, 'plucky-security'), (500, 'plucky')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 6.14.0-22-generic (SMP w/32 CPU threads; PREEMPT)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, 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

Back to linux.debian.bugs.dist | Previous | Next | Find similar | Unroll thread

Thread

Bug#1108559: cbmc:  FTBFS with default Java 25 Vladimir Petko <vpa1977@gmail.com> - 2025-07-01 06:20 +0200

csiph-web