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
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. 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. There is a new build 4.1.23 for MacOS using Java 8. |