First Last Prev Next    No search results available      Search page      Enter new bug
Bug#: 476
Product:
Component:
Status: RESOLVED
Resolution: DUPLICATE of bug 475
Assigned To: Alexandre David <adavid@cs.aau.dk>
Hardware:
OS:
Version:
Priority:
Severity:
Reporter: Axel Belinfante <Axel.Belinfante@cs.utwente.nl>
Add CC:
CC:
URL:
Summary:

Attachment Type Creator Created Size Actions
Create a New Attachment (proposed patch, testcase, etc.) View All

Bug 476 depends on: Show dependency tree
Show dependency graph
Bug 476 blocks:
Votes: 0    Show votes for this bug    Vote for this bug

Additional Comments:







View Bug Activity   |   Format For Printing   |   XML   |   Clone This Bug


Description:   Opened: 2009-06-29 14:01
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>

------- Comment #1 From Alexandre David 2009-08-07 12:43:24 -------
The Mac distributions have been repackaged using a newer Mac template.
Re-download.

------- Comment #2 From Alexandre David 2009-08-07 12:47:43 -------

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

First Last Prev Next    No search results available      Search page      Enter new bug