Bug 629 - Change java version used in the user interface
Summary: Change java version used in the user interface
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.1.20
Hardware: PC Mac OS
: P5 enhancement
Assignee: Marius Mikučionis
Depends on:
Reported: 2017-03-07 08:54 CET by Lars Nielsen
Modified: 2019-10-28 14:08 CET (History)
1 user (show)

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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.