Run Java path finder

Question

I run java path finder in eclipse and I received the following error:

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)

What should I do?

Answer 1

It doesn matter how do you open the project in eclipse. You shouldn't use "New Java Project" or "New Java Project from Existing Ant Buildfile". For more information on how to open th JPF project in eclipse, have a look here.