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.
