the current version of uppaal seems to require jdk 1.6?
when trying Uppaal on a mac, I get the following exception:
[JavaAppLauncher Error] CallStaticVoidMethod() threw an exception
Exception in thread "main" java.lang.NoClassDefFoundError: javax/xml/stream/XMLResolver
at java.lang.Class.forName0(Native Method)
after editing.app/Contents/Info.plist to change
the value for the JVMVersion key from1.5+ to 1.6 it works.
The Mac distributions have been repackaged using a newer Mac template.
*** This bug has been marked as a duplicate of bug 475 ***