| Summary: | mac version of uppaal does not start | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Axel Belinfante <Axel.Belinfante> |
| Component: | GUI | Assignee: | Alexandre David <adavid> |
| Status: | RESOLVED DUPLICATE | ||
| Severity: | normal | ||
| Priority: | P2 | ||
| Version: | 4.0.8 | ||
| Hardware: | Macintosh | ||
| OS: | Mac OS | ||
| Architecture: | |||
The Mac distributions have been repackaged using a newer Mac template. Re-download. |
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(Class.java:242) at apple.launcher.LaunchRunner.loadMainMethod(LaunchRunner.java:55) at apple.launcher.LaunchRunner.run(LaunchRunner.java:111) at apple.launcher.LaunchRunner.callMain(LaunchRunner.java:50) at apple.launcher.JavaApplicationLauncher.launch(JavaApplicationLauncher.java:52) after editing.app/Contents/Info.plist to change the value for the JVMVersion key from1.5+ to 1.6 it works. <key>JVMVersion</key> <string>1.6</string>