| Summary: | Cannot run with JRE 1.5 | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Gerd Behrmann <behrmann> |
| Component: | GUI | Assignee: | Gerd Behrmann <behrmann> |
| Status: | CLOSED FIXED | ||
| Severity: | normal | ||
| Priority: | P2 | ||
| Version: | 3.4.5 | ||
| Hardware: | All | ||
| OS: | All | ||
| Architecture: | |||
| Bug Depends on: | 80 | ||
| Bug Blocks: | |||
|
Description
Gerd Behrmann
2004-04-27 12:08:49 CEST
This is caused by Condensity (the scrambler). When not using the scrambler Uppaal starts fine, but then runs into another problem when trying to connect to the verification backend. Further investigation is needed. There is a problem with Xerces 2.5.x and JRE 1.5 beta 1. Due to bug 80, we have not used a newer version of Xerces. I have now fixed bug 80. Hence we can upgrade to the newest version of Xerces and this should fix some of the problems with JRE 1.5 beta 1. The scrambler problem is a bit tricky: Condensity is now officially dead. I'm currently looking for a new scrambler. Due to the changed default theme in JRE 1.5 on Linux, I have changed the toolbar to have a flat look. This also looks better on Windows. I have extended the build script to also support proguard to obfuscate the files. This should fix compatibility problem with JRE 1.5. Turns out that condensity works fine with JRE 1.5 beta 2. Hence we have the option to continue using condensity. There are more problems with uppaal and JRE 1.5: When model checking with diagnostic traces turned on, the GUI dies in the dialog asking whether the trace shoulded by loaded into the Simulator. It is not possible to press the Yes or No button in the dialog. A fix for the remaining issue has been checked into CVS. The problem was that we disabled the SystemInspector during verification. In Java 5 this turns out also to disable events to the "Load trace" dialog. |