Like with a similar issue in jpf-core, we have to take care of the illegal access warnings by setting the right permissions:
WARNING: An illegal reflective access operation has occurred
WARNING: Illegal reflective access by nhandler.conversion.jpf2jvm.JPF2JVMjava_lang_reflect_ConstructorConverter (file:jpf-nhandler/build/classes/java/main/) to constructor java.lang.reflect.Constructor(java.lang.Class,java.lang.Class[],java.lang.Class[],int,int,java.lang.String,byte[],byte[])
WARNING: Please consider reporting this to the maintainers of nhandler.conversion.jpf2jvm.JPF2JVMjava_lang_reflect_ConstructorConverter
WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations
WARNING: All illegal access operations will be denied in a future release
Like with a similar issue in
jpf-core, we have to take care of the illegal access warnings by setting the right permissions: