Most recent JRE version compatible with TLA+ Toolbox?

[Paolo Garroni]

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?

[Markus Kuppe]

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

[Paolo Garroni]

Thanks Markus,

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.