When using Java JRE 1.5 beta 1, running the Uppaal GUI produces an "invalid jar
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.