" java -version java version "1.8.0_144" Java(TM) SE Runtime Environment (build 1.8.0_144-b01) Java HotSpot(TM) 64-Bit Server VM (build 25.144-b01, mixed mode) " How to produce the error: 1. Open Stratego. 2. Load traffic demo. 3. navigate to Verifier 4. Check Pr[<=60](<> Kim.Sydney) //Or any of the other Pr queries.
This seems to be Windows specific as I could not reproduce on Linux. Thanks for the report.