Запустить Java Path Finder

Question

Я запускаю поиск путей Java в Eclipse, и я получил следующую ошибку:

Исключение в потоке "main" java.lang.SecurityException: запрещено имя пакета: java.lang

at java.lang.ClassLoader.preDefineClass(ClassLoader.java:480)
at java.lang.ClassLoader.defineClassCond(ClassLoader.java:626)
at java.lang.ClassLoader.defineClass(ClassLoader.java:616)
at gov.nasa.jpf.JPFClassLoader.findClass(JPFClassLoader.java:294)
at gov.nasa.jpf.JPFClassLoader.loadClass(JPFClassLoader.java:262)
at java.lang.ClassLoader.loadClass(ClassLoader.java:248)
at java.lang.Class.getDeclaredMethods0(Native Method)
at java.lang.Class.privateGetDeclaredMethods(Class.java:2427)
at java.lang.Class.getMethod0(Class.java:2670)
at java.lang.Class.getMethod(Class.java:1603)
at gov.nasa.jpf.Main.main(Main.java:51)

Что мне делать?

Answer 1

Неважно, как вы открываете проект в Eclipse. Вы не должны использовать «Новый проект Java» или «Новый проект Java из существующего файла сборки Ant». Для получения дополнительной информации о том, как открыть проект JPF в затмении, посмотрите здесь .