In the attached model, when switching to the Sampler template the JVM crashes.
Observed on both Windows and Linux.
Created attachment 11 [details]
UPPAAL model triggering the problem.
Created attachment 13 [details]
Java Source file isolating the crash
It seems to be a JVM problem. I have created a small test program that can crash
the JVM (attached). I will submit this as a Java bug to Sun.
Bug has been submitted to Java. They claim to have a three week response time
for reviewing the bug report. For the moment the workarround is to turn
antialiasing off when running Uppaal (only necessary if you happen to trigger
I will leave this bug open until I get confirmation from Sun.
I still got no confirmation from Sun about this bug. I tried the new JRE 1.5
beta 2, but JVM still crashes. I will resubmit the bug when I have time.
The problem seems to be resolved in Java 5 update 6.