如何在启动 alloy 时删除警告,我的 alloy GUI 也有一些看起来像问题的条纹

How to remove Warnings when launching alloy, also my alloy GUI have some stripes that looks like an issue

当我从终端启动 alloy 时收到以下警告

WARNING: An illegal reflective access operation has occurred
WARNING: Illegal reflective access by edu.mit.csail.sdg.alloy4whole.SimpleGUI (file:/home/manish/alloy/alloy4.2_2015-02-22.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
Loaded: libminisat.so
Loaded: libminisatprover.so
Loaded: liblingeling.so
Loaded: libglucose.so
Loaded: libcryptominisat.so

我的系统配置如下:

Distributor ID: Ubuntu
Description:    Ubuntu 18.04.4 LTS
Release:    18.04
Codename:   bionic

Graphics Card: GTX 1050
NVIDIA-SMI 440.64       Driver Version: 440.64       CUDA Version: 10.2

Java Version:
openjdk 11.0.6 2020-01-14
OpenJDK Runtime Environment (build 11.0.6+10-post-Ubuntu-1ubuntu118.04.1)
OpenJDK 64-Bit Server VM (build 11.0.6+10-post-Ubuntu-1ubuntu118.04.1, mixed mode, sharing)

此外,我的 alloy 一次又一次地挂起我的系统。因此,我不得不重新启动 alloy。我不知道这是否与此警告有关。

Alloy GUI 可视化问题:

尝试,运行 Java 8. Java 正在进行重大更改,导致出现这些警告。很烦人,打破了向后兼容的长模式。

这就是我们在 MacOS 上包含 JVM 的原因。我们可以使用可以为 Windows & Linux.

做同样事情的人