无法运行jpf命令：jpf异常，终止：读取类java.lang.reflect.AnnotateDelete时出错

当我尝试运行jpf basset程序时，我得到以下错误。我成功地构建了jpf核心和jpf演员。以前有人遇到过这种情况吗？我遗漏了什么吗？感谢您的回复/评论。谢谢

 ~/b/p/j/jpf-core  bin/jpf gov.nasa.jpf.actor.Basset pi.Driver 3
[SEVERE] JPF exception, terminating: error reading class java.lang.reflect.AnnotatedElement
gov.nasa.jpf.classfile.ClassFileException: illegal constpool tag
    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.<init>(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)
---------------------- JPF error stack trace ---------------------
gov.nasa.jpf.JPFException: error reading class java.lang.reflect.AnnotatedElement
    at gov.nasa.jpf.jvm.ClassInfo.loadClass(ClassInfo.java:1231)
    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)
Caused by: gov.nasa.jpf.classfile.ClassFileException: illegal constpool tag
    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.<init>(ClassInfo.java:803)
    at gov.nasa.jpf.jvm.ClassInfo.loadClass(ClassInfo.java:1221)
    ... 15 more
 ~/b/p/j/jpf-core 

~/b/p/j/jpf核心 bin/jpf gov.nasa.jpf.actor.Basset pi.Driver 3
[严重]JPF异常，正在终止：读取类java.lang.reflect.AnnotateDelete时出错
gov.nasa.jpf.classfile.ClassFileException:非法的constpool标签
位于gov.nasa.jpf.classfile.classfile.error（classfile.java:168）
位于gov.nasa.jpf.classfile.classfile.parseCp（classfile.java:1009）
位于gov.nasa.jpf.classfile.classfile.parse（classfile.java:827）
www.nasa.jpf.jvm.ClassInfo.（ClassInfo.java:803）
位于gov.nasa.jpf.jvm.ClassInfo.loadClass（ClassInfo.java:1221）
网址：gov.nasa.jpf.jvm.ClassInfo.getResolvedClassInfo（ClassInfo.java:1207）
http://www.nasa.jpf.jvm.ClassInfo.loadInterfaceRec（ClassInfo.java:1994）
www.nasa.jpf.jvm.ClassInfo.loadInterfaceRec（ClassInfo.java:2000）
在gov.nasa.jpf.jvm.ClassInfo.getAllInterfaces上（ClassInfo.java:2150）
http://www.nasa.jpf.jvm.jvm.registerStartupClass（jvm.java:531）
http://www.nasa.jpf.jvm.jvm.registerStartupClasses（jvm.java:510）
位于gov.nasa.jpf.jvm.jvm.initialize（jvm.java:301）
www.nasa.jpf.jpf.run（jpf.java:616）
www.nasa.jpf.jpf.start（jpf.java:190）
在sun.reflect.NativeMethodAccessorImpl.invoke0（本机方法）处
位于sun.reflect.NativeMethodAccessorImpl.invoke（NativeMethodAccessorImpl.java:62）
在sun.reflect.DelegatingMethodAccessorImpl.invoke（DelegatingMethodAccessorImpl.java:43）中
位于java.lang.reflect.Method.invoke（Method.java:497）
访问gov.nasa.jpf.tool.Run.call（Run.java:76）
网址：gov.nasa.jpf.tool.RunJPF.main（RunJPF.java:100）
----------------------JPF错误堆栈跟踪---------------------
gov.nasa.jpf.jpfeexception:读取类java.lang.reflect.AnnotatedElement时出错
位于gov.nasa.jpf.jvm.ClassInfo.loadClass（ClassInfo.java:1231）
网址：gov.nasa.jpf.jvm.ClassInfo.getResolvedClassInfo（ClassInfo.java:1207）
http://www.nasa.jpf.jvm.ClassInfo.loadInterfaceRec（ClassInfo.java:1994）
www.nasa.jpf.jvm.ClassInfo.loadInterfaceRec（ClassInfo.java:2000）
在gov.nasa.jpf.jvm.ClassInfo.getAllInterfaces上（ClassInfo.java:2150）
http://www.nasa.jpf.jvm.jvm.registerStartupClass（jvm.java:531）
http://www.nasa.jpf.jvm.jvm.registerStartupClasses（jvm.java:510）
位于gov.nasa.jpf.jvm.jvm.initialize（jvm.java:301）
www.nasa.jpf.jpf.run（jpf.java:616）
www.nasa.jpf.jpf.start（jpf.java:190）
在sun.reflect.NativeMethodAccessorImpl.invoke0（本机方法）处
位于sun.reflect.NativeMethodAccessorImpl.invoke（NativeMethodAccessorImpl.java:62）
在sun.reflect.DelegatingMethodAccessorImpl.invoke（DelegatingMethodAccessorImpl.java:43）中
位于java.lang.reflect.Method.invoke（Method.java:497）
访问gov.nasa.jpf.tool.Run.call（Run.java:76）
网址：gov.nasa.jpf.tool.RunJPF.main（RunJPF.java:100）
原因：gov.nasa.jpf.classfile.ClassFileException:非法的constpool标签
位于gov.nasa.jpf.classfile.classfile.error（classfile.java:168）
位于gov.nasa.jpf.classfile.classfile.parseCp（classfile.java:1009）
位于gov.nasa.jpf.classfile.classfile.parse（classfile.java:827）
www.nasa.jpf.jvm.ClassInfo.（ClassInfo.java:803）
位于gov.nasa.jpf.jvm.ClassInfo.loadClass（ClassInfo.java:1221）
... 还有15个
~/b/p/j/jpf核

我不知道它是否值得，但我的结果是Java版本有问题。当我试图在Java7中使用JPF库时，它是用Java8编译的。匹配java版本对我来说很有用