search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
696 stars 124 forks source link

Warning regarding future deprecation when running with Java 11 #121

Closed grayswandyr closed 4 years ago

grayswandyr commented 4 years ago

With Java 11:

WARNING: An illegal reflective access operation has occurred
WARNING: Illegal reflective access by edu.mit.csail.sdg.alloy4whole.SimpleGUI (file:/home/dchemoui/LOCAL/electrum2.0.1.jar) to field java.lang.ClassLoader.usr_paths
WARNING: Please consider reporting this to the maintainers of edu.mit.csail.sdg.alloy4whole.SimpleGUI
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
pkriens commented 4 years ago

Alloy is Java 8

grayswandyr commented 4 years ago

I don't follow Java versions particularly but here I'm only running the JAR, not compiling it. Wouldn't it be possible to have a compiled versions that runs in all Java versions starting at a certain version? Otherwise some users may experience problems, I guess.

pkriens commented 4 years ago

Yes, but this requires work ... we need to fix all access to the Method.setAccessible() method.

Since Java 9, they introduced a silly module system that makes it impossible to get rid of these warnings and one of the next Javas is going to deny it :-( It is a fundamental confusion between access and security that has plagued Java from the start.

When we integrate Electrum and I've got some time then I can fix it. Or if you have a volunteer?