Run Java путь искателя

Question

Я бегу Java путь искателя в затмении, и я получил следующее сообщение об ошибке:

Exception in thread "main" java.lang.SecurityException: Prohibited package name: 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

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