Illegal reflective access warning

[cyrille-artho]

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

[mdxabu]

Can I work on this after you provide more explanation about it?

[cyrille-artho]

Java's module system has changed, and a module needs to export its permissions correctly and be imported with the correct permission to avoid the warnings or errors shown above.

The idea here is to apply changes from PR 373 for jpf-core to build.gradle in jpf-nhandler as well:

javapathfinder/jpf-core#373

[mdxabu]

@cyrille-artho, I will work on this. If I get stuck, can I ping you?