Hi Markus,
Your patch worked just fine.
Thank you
On Tuesday, May 26, 2020 at 5:27:16 PM UTC+3, Markus Alexander Kuppe wrote:
On 26.05.20 03:53, gable...@xxxxxxxxx wrote:
> Please, note that I am running this JRE version: 1.8.0_251.
>
> On Tuesday, May 26, 2020 at 1:42:31 PM UTC+3, gable...@xxxxxxxxx wrote:
>
> Hi there,
>
> When I launch TLC, I get this message: "The current model is stale
> and has to be repaired [...]". I click "yes", and then I have this
> exception:
> "Exception in thread "main"
> java.lang.NoSuchMethodError: java.lang.String.strip()Ljava/lang/String;
> at tlc2.TLC.handleParameters(TLC.java:750)
> at tlc2.TLC.main(TLC.java:245)"
>
> Any help?
>
> TLA+ toolkit Version 1.7.0 of 20 April 2020
> TLC Version 2.15 of 20 April 2020
>
> Many thanks
Hi,
where did you get the 1.7.0 TLA+ Toolbox from? I'm puzzled because the
Toolbox includes a Java 14 VM that has java.lang.String.strip(). A
NoSuchMethodError should thus not be possible.
Anyway, TLC has been refactored [1] to run on Java 1.8 again. You can
find the nightly build at https://nightly.tlapl.us/.
Markus
[1] https://github.com/tlaplus/tlaplus/issues/462