Fails to start on Windows using OpenJDK25 #322
Description
Describe the bug
The bug is specific to Windows with OpenJDK25 (or any OpenJDK newer than 21) especially when installation wizard is used to install.
The issue is that the launcher uppaal.exe (started by shortcuts) is configured to search for JRE up to 21 and thus fails to find Java from OpenJDK25.
A workaround is to launch UPPAAL by double-clicking uppaal.jar (quite cumbersome compared with the shortcuts) or create shortcust by launching AddLinks.vbs script.
To Reproduce
Steps to reproduce the behavior:
- Boot windows
- Install Uppaal
- Install OpenJDK (either from Adoptium or Microsoft if admin rights aren't available)
- Launch Uppaal through shortcut or uppaal.exe and observe a popup:
which then opens a web page with adoptium.net
Expected behavior
The launcher should not check for the version upper limit and just launch UPPAAL.
Version(s) of UPPAAL tested
UPPAAL-5.0
UPPAAL-5.1.0-beta5
Desktop (please complete the following information):
- Version 5.0, 5.1.0-beta5 and earlier.
- Windows 11 64bit, Java 25