Windows10 / Java jdk 12上的JPF构建/编译错误

Question

I am trying to build Jpf source code on my Windows 10 machine. I have followed the instructions and cloned the master branch of jpf-core. I have installed the jdk 12 (latest version). Now I am running the gradlew.bat file given in the source but it gives me following error:

=============================

> Task :compileJava
E:\Project\jpf-core\src\main\gov\nasa\jpf\vm\HashedAllocationContext.java:21: error: cannot find symbol
import sun.misc.SharedSecrets;
               ^
  symbol:   class SharedSecrets
  location: package sun.misc
E:\MS\CS5615 Intro to Program Analysis\Project\jpf-core\src\main\gov\nasa\jpf\vm\HashedAllocationContext.java:22: error: cannot find symbol
import sun.misc.JavaLangAccess;
               ^
  symbol:   class JavaLangAccess
  location: package sun.misc
E:\Project\jpf-core\src\main\gov\nasa\jpf\vm\HashedAllocationContext.java:85: error: cannot find symbol
   static final JavaLangAccess JLA = SharedSecrets.getJavaLangAccess();
                ^
  symbol:   class JavaLangAccess
  location: class HashedAllocationContext
E:\Project\jpf-core\src\main\gov\nasa\jpf\vm\HashedAllocationContext.java:85: error: cannot find symbol
   static final JavaLangAccess JLA = SharedSecrets.getJavaLangAccess();
                                     ^
  symbol:   variable SharedSecrets
  location: class HashedAllocationContext
Note: Some input files use or override a deprecated API.
Note: Recompile with -Xlint:deprecation for details.
Note: Some input files use unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
4 errors

=============================

I am not being able to build it. There's something to be done about sun.misc libraries that I am not being able to understand. I am new to java and I have to run jpf on some examples. Any help would be appreciated.

Answer 1

Okay so I have installed jdk 8u212 for windows and reset the java_home environment variable to new jdk and JPF compiled. (but with some warnings)