0

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?

Roy Shmuli
  • 4,979
  • 1
  • 24
  • 38
Fiary
  • 203
  • 2
  • 11
  • 1
    Please provide the code, and post the full stack trace. –  Feb 06 '12 at 07:34
  • How did you open the project in eclipse? As a new java project? – Kris Feb 06 '12 at 07:48
  • Possible duplicate of [Exception in thread "main" java.lang.SecurityException: Prohibited package name: java.lang](http://stackoverflow.com/questions/17354275/exception-in-thread-main-java-lang-securityexception-prohibited-package-name) – FabioBranch Feb 09 '17 at 12:49

1 Answers1

0

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.

Kris
  • 5,714
  • 2
  • 27
  • 47