[Javapathfinder-user] Question about running JPF

[Jenny c. <je...@gm...>]

Hi,

I'm having trouble running JPF with example class files in eclipse. I set
the project to point the "jpf release" directory, used gov.nasa.jpf.JPF as
main class and set Bakery_original as a program argument.

I've got this error message below:
error during VM runtime initialization:
uncaught exception in thread main #0 : java.lang.UnsatisfiedLinkError:
java.lang.Object.registerNatives (no peer)
    at java.lang.Object.<clinit>(java\lang\Object.java:24)

Have anyone seen this before?

Thanks,
Jenny