java.lang.NoSuchMethodError - CharBuffer;

[TreshUp]

Hello, i have a problem of missing method CharBuffer when i'am using jpf (master branch).
Also after launching gradlew.bat i have 5 failed tests (testSimpleReadbackOk, testCalendarHourSetAfterYear, testSimpleParse, testFindResource, testFindResources). Could you please help me to solve this problem.
I found issue #220, but i'm using Java 8 - and variable JAVA_HOME was set. Also i tried to google problem.
Solution from google is to use same versions of JDK and JRE. but i have only one version - 1.8.0_301

java -version
java version "1.8.0_301"
Java(TM) SE Runtime Environment (build 1.8.0_301-b09)
Java HotSpot(TM) 64-Bit Server VM (build 25.301-b09, mixed mode)

Here is my testing java example - https://pastebin.com/6htjc5uk
I'm using third party library - edu-mines-jtk, but it was build by me with Java 8.

D:> "C:\Program Files\Java\jdk1.8.0_261\bin\javap.exe" -v .\ArrayInputStream.class | findstr major
major version: 52

And verification for mytest.class:

D:>"C:\Program Files\Java\jdk1.8.0_261\bin\javap.exe" -v "D:\mytest.class" | findstr major
major version: 52

Traceback:

java -jar "_Absolute_path_\jpf\jpf-core\build\RunJPF.jar" "_Absolute_path_\jpf\jpf-core\build\examples\mytest.jpf"
JavaPathfinder core system v8.0 (rev 0cf982c4a70c3478e2d4113c03bbc2b87f8ed777) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
mytest.main()

====================================================== search started: 24.01.22 16:51

====================================================== error 1
gov.nasa.jpf.vm.NoUncaughtExceptionsProperty
java.lang.NoSuchMethodError: java.nio.ByteBuffer.asCharBuffer()Ljava/nio/CharBuffer;
        at edu.mines.jtk.io.ArrayInputAdapter.<init>(edu/mines/jtk/io/ArrayInputAdapter.java:117)
        at edu.mines.jtk.io.ArrayInputAdapter.<init>(edu/mines/jtk/io/ArrayInputAdapter.java:70)
        at edu.mines.jtk.io.ArrayInputStream.<init>(edu/mines/jtk/io/ArrayInputStream.java:74)
        at edu.mines.jtk.io.ArrayInputStream.<init>(edu/mines/jtk/io/ArrayInputStream.java:45)
        at edu.mines.jtk.io.ArrayInputStream.<init>(edu/mines/jtk/io/ArrayInputStream.java:54)
        at mytest.main(mytest.java:29)


====================================================== snapshot #1

Thank you in advance!

[cyrille-artho]

In this case, a particular conversion method (from a byte buffer to a char buffer) is missing. Perhaps this can be added as a model class function. This task is trivial for ASCII encoding but becomes very complicated for Unicode (not that Java is particularly complicated for this, as data on disk is usually in UTF-8 but Java uses UTF-16 internally in memory).
Note that a model class does not have to be efficient, so any valid way to convert bytes to chars would work.

[quadhier]

All unit tests have passed now. But java.nio.* are not supported yet. So this might be an enhancement.