This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 629

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

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.