[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

TLA+ Toolbox installation problem

I have a PC running 64-bit Windows 8.1 Pro with Java build 1.8.0_191-b12 installed. I downloaded the TLA+ Toolbox zip file and extracted in a newly created subdirectory C:\TLAplus. When I try to run the toolbox.exe file (as administrator), I only get the error message 

"Java started but returned exit code=13
C:\Program Files (x86)\Common Files\Oracle\Java\javapath\javaw.exe
[goes on for another 33 lines and the pop-up window of the error message does not let me cut-and-paste, so I attach a screenshot of it]"

I'd be grateful for any suggestions as to how to fix this problem.

I have already tried re-downloading the TLA+ zip fail, with no change in results. 

Attachment: TLAplusInstallError.PNG
Description: PNG image