great thanks! Did an early attempt to install the TLA+ Toolbox on a headless Linux box; googling for the inevitable stack of Java errors leads to a bunch of older threads (eg: https://groups.google.com/g/tlaplus/c/VK681_huPMg/m/1cWQaFSECAAJ), hence the false assumptions about JRE. All clear now.
On Thursday, June 2, 2022 at 6:14:09 PM UTC+2 Markus Alexander Kuppe wrote:
Hi Paolo,
the TLA+ Toolbox bundles its own JVM, which - as of today - is Java 14. The Toolbox and TLC also run fine on newer releases such as Java 18.
Markus
> On May 31, 2022, at 4:33 AM, Paolo Garroni <pfg...@xxxxxxxxx> wrote:
>
> The TLA Toolbox reportedly runs on Java 1.8, but security concerns suggest more recent versions (say, Java 17 or higher). Anyone confirm what mix would work fine?