我在 eclipse 中运行 java path finder 并收到以下错误:
线程“主”java.lang.SecurityException 中的异常:禁止的包名称: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)
我应该怎么办?