[Javapathfinder-user] problem in running JPF

[Arnab De <arn...@gm...>]

Hi,
I installed JPF from SVN today (27th Aug). I can build it and run from the
root directory, but when I try to run it from some different directory (for
example build/examples) it gives the following error.

 $../../bin/jpf +vm.classpath=. Racer
[WARNING] orphant NativePeer method: java.lang.ClassLoader.init0()V
[WARNING] orphant NativePeer method:
java.lang.ClassLoader.getResourcePath(Ljava/lang/String;)Ljava/lang/String;
[WARNING] orphant NativePeer method: java.lang.Thread.setDaemon0(Z)V
[WARNING] orphant NativePeer method:
java.lang.Thread.setName0(Ljava/lang/String;)V
[WARNING] orphant NativePeer method:
java.lang.Thread.init0(Ljava/lang/ThreadGroup;Ljava/lang/Runnable;Ljava/lang/String;J)V
[WARNING] orphant NativePeer method:
java.lang.System.createSystemOut()Ljava/io/PrintStream;
[WARNING] orphant NativePeer method:
java.lang.System.createSystemErr()Ljava/io/PrintStream;
[WARNING] orphant NativePeer method:
java.lang.System.getKeyValuePairs()[Ljava/lang/String;
[SEVERE] error during VM runtime initialization: wrong model classes (check
vm.[boot]classpath)

Also, I cannot build it with eclipse (version 3.2). Please tell me if I'm
making some mistake. I'm using Java 1.6.

Thanks and regards,
Arnab

-- 
Arnab De
-----------------------------------------------------------
Graduate Student.
Computer Science and Automation Department,
Indian Institute of Science, Bangalore.
http://arnabde03.googlepages.com/
-----------------------------------------------------------