Когда я запускаю сплав с моего терминала, я получаю следующее предупреждение
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)
Кроме того, мой сплав подвешивает мою систему, снова и снова. Таким образом, я вынужден перезапустить сплав. Я не знаю, связано ли это с этим предупреждением.
Сплав GUI Проблема визуализации: ![Alloy GUI have stripes](https://i.stack.imgur.com/rvi8i.png)