実行Javaパスファインダー

Question

は、私は、Eclipseで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

これは、Eclipseでプロジェクトをどのように開いても問題ありません。 「新しいJavaプロジェクト」または「既存のAntビルドファイルからの新しいJavaプロジェクト」は使用しないでください。日食でJPFプロジェクトを開く方法の詳細については、hereをご覧ください。