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

Re: TLA+ Toolbox installation problem



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.