I could run Uppaal until a week ago (using explicitly SE 6). But Uppaal just doesn't run with any of the Java runtimes I have.
I am running the latest updates of Java.
I checked on my friend's mac, too. But it failed again.
The problem is that the Uppaal GUI just doesn't load!
Please see if this helps:
It seems it's working for some people:
(taken from Marius' post on uppaalgroup).
This is a JVM related problem and we are not aware of anything that UPPAAL could do to work around it.
I mimicked the solution as follows. I copied:
cp /System/Library/Frameworks/JavaVM.framework/Resources/MacOS/JavaApplicationStub64 /Applications/Uppaal/UPPAAL.app/Contents/MacOS/
and renamed JavaApplicationStub64 to JavaApplicationStub
*** Bug 476 has been marked as a duplicate of this bug. ***