This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 476

Summary: mac version of uppaal does not start
Product: UPPAAL Reporter: Axel Belinfante <Axel.Belinfante>
Component: GUIAssignee: Alexandre David <adavid>
Severity: normal    
Priority: P2    
Version: 4.0.8   
Hardware: Macintosh   
OS: Mac OS   

Description Axel Belinfante 2009-06-29 14:01:11 CEST
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)
        at java.lang.Class.forName(
        at apple.launcher.LaunchRunner.loadMainMethod(
        at apple.launcher.LaunchRunner.callMain(
        at apple.launcher.JavaApplicationLauncher.launch(

after to change
the value for the JVMVersion key  from1.5+  to 1.6 it works.

Comment 1 Alexandre David 2009-08-07 12:43:24 CEST
The Mac distributions have been repackaged using a newer Mac template.
Comment 2 Alexandre David 2009-08-07 12:47:43 CEST

*** This bug has been marked as a duplicate of bug 475 ***