Re: [Javapathfinder-user] testing of jpf failed

[Muhammad A. S. <muh...@gm...>]

The last error is given by BCEL and it happened with me as well when I
used Java 1.5 with the latest release of BCEL. Please make sure that
you are using JDK 1.4 ("java -version") and if possible, use the BCEL
library that is available in the Javapathfinder external libraries.

Hope this fixes the problem.

/Ali
Chalmers University of Technology,
Sweden



> But when I type "bin/jpf HelloWorld" something wrong happened:
>
> $ bin/jpf HelloWorld
>
> java.lang.NoSuchMethodError:
> org.apache.bcel.classfile.JavaClass.setRepository(Lorg/apache/bcel/util/R=
epository;)V
>
>         at
> org.apache.bcel.util.SyntheticRepository.storeClass(SyntheticRepository.j=
ava:82)
>
>         at
> org.apache.bcel.util.SyntheticRepository.loadClass(SyntheticRepository.ja=
va:172)
>
>         at
> org.apache.bcel.util.SyntheticRepository.loadClass(SyntheticRepository.ja=
va:126)
>
>         at
> gov.nasa.jpf.jvm.ClassInfo.getClassInfo(ClassInfo.java:339)
>
>         at
> gov.nasa.jpf.jvm.JVM.loadStartupClasses(JVM.java:1368)
>
>         at gov.nasa.jpf.jvm.JVM.initialize(JVM.java:285)
>
>         at gov.nasa.jpf.JPF.run(JPF.java:307)
>
>         at gov.nasa.jpf.JPF.main(JPF.java:238)