5.1.0-beta5 - Persistent error in partiuclar file: "std::get: wrong index for variant"

[AsgerHB]

Describe the bug
This bug occurs in UPPAAL 5.1.0-beta5, but not in UPPAAL 5.0.0.

Opening this file:
bb_mech_shielded.zip

Causes the following error to occur every time it tries to connect to the verification engine

std::get: wrong index for variant

To Reproduce
Steps to reproduce the behavior:

1. Open aforementioned file
2. Error pops up immediately.
3. This prevents running the verifier or simulator.

Version(s) of UPPAAL tested
UPPAAL 5.0.0 - works
UPPAAL 5.1.0-beta5 - errors

Desktop:

• Ubuntu 23.10
• openjdk 17.0.10 2024-01-16 | OpenJDK Runtime Environment (build 17.0.10+7-Ubuntu-123.10.1) | OpenJDK 64-Bit Server VM (build 17.0.10+7-Ubuntu-123.10.1, mixed mode, sharing)

[mikucionisaau]

The root cause is in the language server, not sure what triggers it.
The language server can be disabled in Edit > Preferences > Autocomplete (remove tick) and restart Uppaal.

[AsgerHB]

This does not seem to be the case - problem persists when autocomplete is off even after UPPAAL is restarted.