gov.nasa.jpf.JPFException: error reading class java.lang.reflect.AnnotatedElement

Searched on Google with the first line of a JAVA stack trace?

We can recommend more relevant solutions and speed up debugging when you paste your entire stack trace with the exception message. Try a sample exception.

Recommended solutions based on your search

Samebug tips

Do you know how to solve this issue? Write a tip to help other users and build your expert profile.

Solutions on the web

via Google Groups by manish singh, 1 year ago
error reading class java.lang.reflect.AnnotatedElement
via Google Groups by Linn Jensen, 6 months ago
error reading class java.lang.reflect.AnnotatedElement
gov.nasa.jpf.JPFException: error reading class java.lang.reflect.AnnotatedElement
at gov.nasa.jpf.classfile.ClassFile.error(ClassFile.java:168)
at gov.nasa.jpf.classfile.ClassFile.parseCp(ClassFile.java:1009)
at gov.nasa.jpf.classfile.ClassFile.parse(ClassFile.java:827)
at gov.nasa.jpf.jvm.ClassInfo.(ClassInfo.java:803)
at gov.nasa.jpf.jvm.ClassInfo.loadClass(ClassInfo.java:1221)
at gov.nasa.jpf.jvm.ClassInfo.getResolvedClassInfo(ClassInfo.java:1207)
at gov.nasa.jpf.jvm.ClassInfo.loadInterfaceRec(ClassInfo.java:1994)
at gov.nasa.jpf.jvm.ClassInfo.loadInterfaceRec(ClassInfo.java:2000)
at gov.nasa.jpf.jvm.ClassInfo.getAllInterfaces(ClassInfo.java:2150)
at gov.nasa.jpf.jvm.JVM.registerStartupClass(JVM.java:531)
at gov.nasa.jpf.jvm.JVM.registerStartupClasses(JVM.java:510)
at gov.nasa.jpf.jvm.JVM.initialize(JVM.java:301)
at gov.nasa.jpf.JPF.run(JPF.java:616)
at gov.nasa.jpf.JPF.start(JPF.java:190)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:497)
at gov.nasa.jpf.tool.Run.call(Run.java:76)
at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:100)

Users with the same issue

Samebug visitor profile picture
Unknown user
Once, 1 year ago
Samebug visitor profile picture
Unknown user
Once, 1 year ago

Write tip

Know the solutions? Share your knowledge to help other developers to debug faster.