标签： uppaal
我下载并在Mac OS 10.14上安装了uppaal 4.1.22。我已经安装了Java 8。
打开uppaal.jar时，会弹出一个窗口，显示“服务器退出，错误126。检查操作系统。”关闭窗口后，无法运行模拟器或验证程序。实际上，当我选择模拟器或验证程序时，会弹出相同的窗口。
如何解决此问题？