chemin Run Java Finder

Question

Je lance path finder java dans Eclipse et j'ai reçu l'erreur suivante:

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) 

Que dois-je faire?

Answer 1

Peu importe comment ouvrir le projet dans Eclipse. Vous ne devez pas utiliser "Nouveau projet Java" ou "Nouveau projet Java à partir d'un fichier Build Ant existant". Pour plus d'informations sur la façon d'ouvrir le projet JPF dans Eclipse, jetez un oeil here.