Запустите 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 в Eclipse, посмотрите здесь.