Ошибка сборки / компиляции JPF в Windows10/Java jdk 12

Я пытаюсь собрать исходный код Jpf на моем компьютере с Windows 10. Я следовал инструкциям и клонировал ветку master jpf-core. Я установил JDK 12 (последняя версия). Теперь я запускаю файл gradlew.bat, указанный в исходном коде, но он выдает следующую ошибку:

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

> 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

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

Я не могу его построить. Что-то нужно делать с библиотеками sun.misc, которые я не могу понять. Я новичок в Java, и я должен запустить JPF на некоторых примерах. Любая помощь будет оценена.

1 ответ

Итак, я установил jdk 8u212 для Windows и сбросил переменную среды java_home на новые скомпилированные jdk и JPF. (но с некоторыми предупреждениями)

Другие вопросы по тегам