Невозможно запустить команду jpf: исключение JPF, завершение: ошибка чтения класса java.lang.reflect.AnnotatedElement

Question

Я получаю следующую ошибку при попытке запустить программу basset jpf. Я смог успешно создать jpf-core и jpf-actor. Кто-нибудь сталкивался с этим раньше? Я что-то упускаю? Цените свой ответ/комментарии. Благодарю.

~/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  

Answer 1

Не знаю, стоит ли это, но моя проблема связана с версией Java. Библиотека JPF была скомпилирована с Java 8, пока я пытался использовать ее в Java 7. Соответствие версии java для меня получилось.