Bug 629

Summary: Change java version used in the user interface
Product: UPPAAL Reporter: Lars Nielsen <laniel13>
Component: GUIAssignee: Marius Mikučionis <marius>
Severity: enhancement CC: adavid
Priority: P5    
Version: 4.1.20   
Hardware: PC   
OS: Mac OS   

Description Lars Nielsen 2017-03-07 08:54:07 CET
The version of Java which is require by Uppaal is old and known for security issues. 
I would like to suggest an update of java version or rewriting the UI, in for instance QT.
Comment 1 Marius Mikučionis 2017-03-07 10:16:34 CET
Dear Lars,
Can you be more specific about the version you are using?
The minimum requirement is Java 7, but it can be (much) newer.

I just checked that Uppaal does work fine on El Capitan (10.11.6) with the current Java 8 update 121 as distributed by Oracle.

Which security issues are you referring to?

As for QT re-implementation we need more manpower.
Comment 2 Lars Nielsen 2017-03-07 10:45:03 CET
I have installed Java 8 update 121. But when I opened Uppaal it redirected me to 1.6 installation page from Apple. So I installed that.
Comment 3 Marius Mikučionis 2019-10-28 14:08:33 CET
There is a new build 4.1.23 for MacOS using Java 8.