Java 17 build/test fails on some platforms

[eklaDFF]

Here is how I reached this issue !

Due to system crash I lost all files and settings on my system. So, I cloned my forked repo of javapathfinder on my system. And then updated my master branch with jpf-core java-17 branch. Now my system is up-to-date with jpf-core java-17 branch.

Then I ran ./gradlew buildJars and the build was successful.
Then I ran ./gradlew test and there are 3 tests which failed out of 1036.

My system

OpenJDK-17 (downloaded using homebrew)

ekla@Eklas-MacBook-Air jpf-core % java -version
openjdk version "17.0.17" 2025-10-21
OpenJDK Runtime Environment Homebrew (build 17.0.17+0)
OpenJDK 64-Bit Server VM Homebrew (build 17.0.17+0, mixed mode, sharing)
ekla@Eklas-MacBook-Air jpf-core % 

Approaches I tried

Trying to run on jpf-core java-17 branch directly (without merging to the local system) ----> I checkout to the remote/upstream/java-17 branch and tried but still got the same 3 errors.

[cyrille-artho]

Thank you for reporting this.
Maybe the particular build of your JDK that you use is not completely compatible.

I have the following JDK that works on Mac OS:

openjdk version "17.0.17" 2025-10-21 LTS
OpenJDK Runtime Environment Zulu17.62+17-CA (build 17.0.17+10-LTS)
OpenJDK 64-Bit Server VM Zulu17.62+17-CA (build 17.0.17+10-LTS, mixed mode, sharing)

If this still fails, please attach the logs (test output) of the failing tests and reopen the issue.

[eklaDFF]

Now I have installed the same JDK :

openjdk 17.0.17 2025-10-21 LTS
OpenJDK Runtime Environment Zulu17.62+17-CA (build 17.0.17+10-LTS)
OpenJDK 64-Bit Server VM Zulu17.62+17-CA (build 17.0.17+10-LTS, mixed mode, sharing)

And this still fails, here is those three test output.

1. ClassLoaderTest.testGetResourceAsStream and ClassLoaderTest.testGetSystemResourceAsStream

running jpf with args:
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.java.lang.ClassLoaderTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;
[WARNING] orphan NativePeer method: jdk.internal.misc.VM.initializeFromArchive

====================================================== error 1
gov.nasa.jpf.vm.NoUncaughtExceptionsProperty
java.lang.IllegalArgumentException: Replacement too long
	at java.nio.charset.CharsetDecoder.replaceWith(CharsetDecoder.java:293)
	at java.nio.charset.CharsetDecoder.<init>(CharsetDecoder.java:207)
	at java.nio.charset.CharsetDecoder.<init>(CharsetDecoder.java:233)
	at sun.nio.cs.UTF_8$Decoder.<init>(UTF_8.java:91)
	at sun.nio.cs.UTF_8.newDecoder(UTF_8.java:73)
	at sun.net.www.ParseUtil.decode(ParseUtil.java:183)
	at sun.net.www.protocol.file.Handler.openConnection(Handler.java:80)
	at sun.net.www.protocol.file.Handler.openConnection(Handler.java:72)
	at java.net.URL.openConnection(URL.java:1094)
	at java.net.URL.openStream(URL.java:1161)
	at java.lang.ClassLoader.getResourceAsStream(ClassLoader.java:142)
	at gov.nasa.jpf.test.java.lang.ClassLoaderTest.testGetResourceAsStreamImpl(ClassLoaderTest.java:188)
	at gov.nasa.jpf.test.java.lang.ClassLoaderTest.testGetResourceAsStream(ClassLoaderTest.java:57)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.vm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.util.test.TestJPF.runTestMethod(TestJPF.java:648)


====================================================== snapshot #1
thread java.lang.Thread:{id:0,name:main,status:RUNNING,priority:5,isDaemon:false,lockCount:0,suspendCount:0}
  call stack:
	at gov.nasa.jpf.util.test.TestJPF.runTestMethod(TestJPF.java:650)


====================================================== results
error #1: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty "java.lang.IllegalArgumentException: Replacement to..."

====================================================== search finished: 10/30/25, 10:31 AM
  running jpf with args:
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.java.lang.ClassLoaderTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;

====================================================== error 1
gov.nasa.jpf.vm.NoUncaughtExceptionsProperty
java.lang.ClassNotFoundException: [Ljava.lang.Object;BeanInfo;
	at java.lang.ClassLoader.findClass(ClassLoader.java:205)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:189)
	at gov.nasa.jpf.test.java.lang.ClassLoaderTest.testLoadClassClassNotFoundException(ClassLoaderTest.java:97)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.vm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.util.test.TestJPF.runTestMethod(TestJPF.java:648)


====================================================== snapshot #1
thread java.lang.Thread:{id:0,name:main,status:RUNNING,priority:5,isDaemon:false,lockCount:0,suspendCount:0}
  call stack:
	at gov.nasa.jpf.util.test.TestJPF.runTestMethod(TestJPF.java:650)


====================================================== results
error #1: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty "java.lang.ClassNotFoundException: [Ljava.lang.Obje..."

====================================================== search finished: 10/30/25, 10:31 AM
  running jpf with args:
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.java.lang.ClassLoaderTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;

====================================================== error 1
gov.nasa.jpf.vm.NoUncaughtExceptionsProperty
java.lang.LinkageError
	at java.lang.ClassLoader.defineClass0(gov.nasa.jpf.vm.JPF_java_lang_ClassLoader)
	at java.lang.ClassLoader.defineClass(ClassLoader.java:218)
	at gov.nasa.jpf.test.java.lang.ClassLoaderTest$TestClassLoader.loadMagic(ClassLoaderTest.java:253)
	at gov.nasa.jpf.test.java.lang.ClassLoaderTest.testDefineClassError(ClassLoaderTest.java:208)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.vm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.util.test.TestJPF.runTestMethod(TestJPF.java:648)


====================================================== snapshot #1
thread java.lang.Thread:{id:0,name:main,status:RUNNING,priority:5,isDaemon:false,lockCount:0,suspendCount:0}
  call stack:
	at gov.nasa.jpf.util.test.TestJPF.runTestMethod(TestJPF.java:650)


====================================================== results
error #1: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty "java.lang.LinkageError  at java.lang.ClassLoader.d..."

====================================================== search finished: 10/30/25, 10:31 AM
  running jpf with args:
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.java.lang.ClassLoaderTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;

====================================================== results
no errors detected

====================================================== search finished: 10/30/25, 10:31 AM
  running jpf with args:
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.java.lang.ClassLoaderTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;

====================================================== results
no errors detected

====================================================== search finished: 10/30/25, 10:31 AM
  running jpf with args:
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.java.lang.ClassLoaderTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;
[WARNING] orphan NativePeer method: jdk.internal.misc.VM.initializeFromArchive

====================================================== results
no errors detected

====================================================== search finished: 10/30/25, 10:31 AM
  running jpf with args:
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.java.lang.ClassLoaderTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;
[WARNING] orphan NativePeer method: jdk.internal.misc.VM.initializeFromArchive

====================================================== error 1
gov.nasa.jpf.vm.NoUncaughtExceptionsProperty
java.lang.IllegalArgumentException: Replacement too long
	at java.nio.charset.CharsetDecoder.replaceWith(CharsetDecoder.java:293)
	at java.nio.charset.CharsetDecoder.<init>(CharsetDecoder.java:207)
	at java.nio.charset.CharsetDecoder.<init>(CharsetDecoder.java:233)
	at sun.nio.cs.UTF_8$Decoder.<init>(UTF_8.java:91)
	at sun.nio.cs.UTF_8.newDecoder(UTF_8.java:73)
	at sun.net.www.ParseUtil.decode(ParseUtil.java:183)
	at sun.net.www.protocol.file.Handler.openConnection(Handler.java:80)
	at sun.net.www.protocol.file.Handler.openConnection(Handler.java:72)
	at java.net.URL.openConnection(URL.java:1094)
	at java.net.URL.openStream(URL.java:1161)
	at java.lang.ClassLoader.getResourceAsStream(ClassLoader.java:142)
	at gov.nasa.jpf.test.java.lang.ClassLoaderTest.testGetResourceAsStreamImpl(ClassLoaderTest.java:188)
	at gov.nasa.jpf.test.java.lang.ClassLoaderTest.testGetSystemResourceAsStream(ClassLoaderTest.java:118)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.vm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.util.test.TestJPF.runTestMethod(TestJPF.java:648)


====================================================== snapshot #1
thread java.lang.Thread:{id:0,name:main,status:RUNNING,priority:5,isDaemon:false,lockCount:0,suspendCount:0}
  call stack:
	at gov.nasa.jpf.util.test.TestJPF.runTestMethod(TestJPF.java:650)


====================================================== results
error #1: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty "java.lang.IllegalArgumentException: Replacement to..."

====================================================== search finished: 10/30/25, 10:31 AM
  running jpf with args:
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.java.lang.ClassLoaderTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;

====================================================== results
no errors detected

====================================================== search finished: 10/30/25, 10:31 AM
  running jpf with args:
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.java.lang.ClassLoaderTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;

====================================================== error 1
gov.nasa.jpf.vm.NoUncaughtExceptionsProperty
java.lang.NoClassDefFoundError: IllegalName: java/lang/Object
	at java.lang.ClassLoader.findSystemClass(gov.nasa.jpf.vm.JPF_java_lang_ClassLoader)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:186)
	at gov.nasa.jpf.test.java.lang.ClassLoaderTest.testLoadClassNoClassDefFoundError(ClassLoaderTest.java:88)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.vm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.util.test.TestJPF.runTestMethod(TestJPF.java:648)


====================================================== snapshot #1
thread java.lang.Thread:{id:0,name:main,status:RUNNING,priority:5,isDaemon:false,lockCount:0,suspendCount:0}
  call stack:
	at gov.nasa.jpf.util.test.TestJPF.runTestMethod(TestJPF.java:650)


====================================================== results
error #1: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty "java.lang.NoClassDefFoundError: IllegalName: java/..."

====================================================== search finished: 10/30/25, 10:31 AM
  running jpf with args:
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.java.lang.ClassLoaderTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;
[WARNING] orphan NativePeer method: jdk.internal.misc.VM.initializeFromArchive

====================================================== results
no errors detected

====================================================== search finished: 10/30/25, 10:31 AM
  running jpf with args:
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.java.lang.ClassLoaderTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;
[WARNING] orphan NativePeer method: jdk.internal.misc.VM.initializeFromArchive

====================================================== results
no errors detected

====================================================== search finished: 10/30/25, 10:31 AM
  running jpf with args:
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.java.lang.ClassLoaderTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;

====================================================== results
no errors detected

====================================================== search finished: 10/30/25, 10:31 AM
  running jpf with args:
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.java.lang.ClassLoaderTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;

====================================================== results
no errors detected

====================================================== search finished: 10/30/25, 10:31 AM
  running jpf with args:
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.java.lang.ClassLoaderTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;
[WARNING] orphan NativePeer method: jdk.internal.misc.VM.initializeFromArchive

====================================================== results
no errors detected

====================================================== search finished: 10/30/25, 10:31 AM
  running jpf with args:
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.java.lang.ClassLoaderTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;

====================================================== results
no errors detected

====================================================== search finished: 10/30/25, 10:31 AM
  running jpf with args:
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.java.lang.ClassLoaderTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;

====================================================== results
no errors detected

====================================================== search finished: 10/30/25, 10:31 AM
  running jpf with args:
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.java.lang.ClassLoaderTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;

====================================================== results
no errors detected

====================================================== search finished: 10/30/25, 10:31 AM

2. gov.nasa.jpf.test.xerces.SAXParserTest.runTestMethod()

running jpf with args: +http.connection=http://*.dtd -- gov.nasa.jpf.CachedROHttpConnection +http.cache_dir=src/tests/gov/nasa/jpf/test/xerces +log.info=http
JavaPathfinder core system v8.0 (rev 7ea25de453111be77d09e12eb196fecf2dc6d365) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
gov.nasa.jpf.test.xerces.SAXParserTest.runTestMethod()

====================================================== search started: 10/30/25, 10:31 AM
[WARNING] orphan NativePeer method: jdk.internal.misc.Unsafe.getUnsafe()Lsun/misc/Unsafe;
[WARNING] orphan NativePeer method: jdk.internal.misc.VM.initializeFromArchive

====================================================== error 1
gov.nasa.jpf.vm.NoUncaughtExceptionsProperty
java.lang.IllegalArgumentException: Replacement too long
	at java.nio.charset.CharsetDecoder.replaceWith(CharsetDecoder.java:293)
	at java.nio.charset.CharsetDecoder.<init>(CharsetDecoder.java:207)
	at java.nio.charset.CharsetDecoder.<init>(CharsetDecoder.java:233)
	at sun.nio.cs.UTF_8$Decoder.<init>(UTF_8.java:91)
	at sun.nio.cs.UTF_8.newDecoder(UTF_8.java:73)
	at sun.net.www.ParseUtil.decode(ParseUtil.java:183)
	at sun.net.www.protocol.file.Handler.openConnection(Handler.java:80)
	at sun.net.www.protocol.file.Handler.openConnection(Handler.java:72)
	at java.net.URL.openConnection(URL.java:1094)
	at com.sun.org.apache.xerces.internal.impl.XMLEntityManager.setupCurrentEntity(XMLEntityManager.java:651)
	at com.sun.org.apache.xerces.internal.impl.XMLVersionDetector.determineDocVersion(XMLVersionDetector.java:150)
	at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:861)
	at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:825)
	at com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(XMLParser.java:141)
	at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(AbstractSAXParser.java:1149)
	at com.sun.org.apache.xerces.internal.jaxp.SAXParserImpl$JAXPSAXParser.parse(SAXParserImpl.java:649)
	at gov.nasa.jpf.test.xerces.SAXParserTest.testSimpleParse(SAXParserTest.java:60)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.vm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.util.test.TestJPF.runTestMethod(TestJPF.java:648)


====================================================== snapshot #1
thread java.lang.Thread:{id:0,name:main,status:RUNNING,priority:5,isDaemon:false,lockCount:0,suspendCount:0}
  call stack:
	at gov.nasa.jpf.util.test.TestJPF.runTestMethod(TestJPF.java:650)


====================================================== results
error #1: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty "java.lang.IllegalArgumentException: Replacement to..."

====================================================== search finished: 10/30/25, 10:31 AM

[cyrille-artho]

This may be a language/locale setting issue rather than a JVM issue.
What is your language setting?
Do the tests pass if you set

export LANG=C

before running the Gradle build and tests?

[eklaDFF]

No, even after export LANG=C, fails with same 3 test cases.

[cyrille-artho]

Thanks, so it is not clear how to avoid this.
There are several ways to set the language/locale in Java, and Gradle may have additional ways. Fortunately, the default setting in the CI environment we use has all tests pass.
Howevr, we would of course be happy if we could ensure that the right setting is always applied.
I have slightly changed the title of this issue to make it more specific and will reopen it.
While I cannot provide any further help right now, I hope someone else who knows more about string encoding or locale issues can give us hints what settings to investigate and potentially add/change.

[Mahmoud-Khawaja]

Hi there,

Ive experienced this issue before. the tests were passing on the CI build but failing on my local machine on the java-11 branch. I tried running JPF from a container, and it worked fine. I think the issue might be due to problems with jvm configurations on each machine. could you try running it in a separate container using a Java 17 image?
The tests are passing on my end without running jpf-17 in a container so I cannot determine.

please check : #559

[eklaDFF]

Yes, it worked in container.

[huntermarchi]

Hi! 👋
I'd like to help investigate and work on this issue. Could you please assign it to me?

Since the problem seems related to locale / charset handling on specific platforms, I can try to reproduce the failures locally and in a fresh container, compare behaviors, and look into whether a stable locale or decoder configuration can be enforced during tests.

If there are specific parts of the ClassLoader tests or the SAX parser test where you’d like me to focus first, please let me know!

Thanks — happy to contribute.