On 16.11.18 11:42, Markus Kuppe wrote: > you might also want to give the nightly Toolbox build a try with Java 11 > [1]. Hi Michel, today's nightly build fixes [1] the Toolbox's Java 11 incompatibility. Thanks Markus [1] https://github.com/tlaplus/tlaplus/commit/96b4ea1c0bf60d930c856204da42f2b21f6858c3