Re: TLA+ Toolbox installation problem

[Zixian Cai <fzcz...@xxxxxxxxx>]

Hi Valter,

I think the problem is due to your use of a 32-bit version of JRE (indicated by the "Program Files (x86)" path fragment).

The bundled Eclipse is a 64-bit version. I would suggest that you try replacing the 32-bit version of Java with a 64-bit version.

Sincerely,

Zixian

On Thursday, November 8, 2018 at 9:53:54 PM UTC+11, Valter Sorana wrote:

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

-XX:+IgnoreUnrecognizedVMOptions

...

[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.

P.S.

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