TLA+ Toolbox java exception

[yves teissier <yves.teis...@xxxxxxxxx>]

Hi all,

I have an error when I want to open a specification with TLA toolbox.

Toolbox version : 1.4.7

OS : Windows 7 professional SP 1 64bits

Java : version 7 (build 1.7.0_45-b18)

Specification : PlusCal.tla (or another. I want only to try the toolbox)

Hope it's complete.

Yves