#56 javapathfinder-src-libs-1.0-7-oct-05 test failed

[Leo]

Centos 5.0
JDK 1.6.0_11 x64
arch x64
Running gov.nasa.jpf.jvm.TestCastJPF
1 failure

run-tests:
[echo] --- running Junit tests from build/test..
[junit] Running gov.nasa.jpf.jvm.TestArrayJPF
[junit] Tests run: 6, Failures: 0, Errors: 0, Time elapsed: 3.024 sec
[junit] Running gov.nasa.jpf.jvm.TestAssertJPF
[junit] Tests run: 2, Failures: 1, Errors: 0, Time elapsed: 2,377.221 sec
[junit] Running gov.nasa.jpf.jvm.TestCastJPF
[junit] Tests run: 1, Failures: 0, Errors: 0, Time elapsed: 1.331 sec
[junit] Running gov.nasa.jpf.jvm.TestExceptionJPF
[junit] Tests run: 6, Failures: 0, Errors: 0, Time elapsed: 2.956 sec
[junit] Running gov.nasa.jpf.jvm.TestFieldJPF
[junit] Tests run: 4, Failures: 0, Errors: 0, Time elapsed: 2.301 sec
[junit] Running gov.nasa.jpf.jvm.TestJavaLangClassJPF
[junit] Tests run: 5, Failures: 0, Errors: 0, Time elapsed: 2.532 sec
[junit] Running gov.nasa.jpf.jvm.TestMethodJPF
[junit] Tests run: 6, Failures: 0, Errors: 0, Time elapsed: 2.905 sec
[junit] Running gov.nasa.jpf.jvm.TestNativePeerJPF
[junit] Tests run: 9, Failures: 0, Errors: 0, Time elapsed: 3.524 sec
[junit] Running gov.nasa.jpf.jvm.TestThreadJPF
[junit] Tests run: 4, Failures: 0, Errors: 0, Time elapsed: 2.98 sec
[junit] Running gov.nasa.jpf.jvm.TestWaitJPF
[junit] Tests run: 3, Failures: 0, Errors: 0, Time elapsed: 3.511 sec
[junit] Running gov.nasa.jpf.mc.TestCrossingJPF
[junit] Tests run: 2, Failures: 0, Errors: 0, Time elapsed: 4.573 sec
[junit] Running gov.nasa.jpf.mc.TestOldClassicJPF
[junit] Tests run: 2, Failures: 0, Errors: 0, Time elapsed: 2.715 sec
[junit] Running gov.nasa.jpf.mc.TestRandomJPF
[junit] Tests run: 2, Failures: 0, Errors: 0, Time elapsed: 1.841 sec
[junit] Running gov.nasa.jpf.mc.TestVMDeadlockJPF
[junit] Tests run: 4, Failures: 0, Errors: 0, Time elapsed: 3.527 sec

BUILD SUCCESSFUL
Total time: 40 minutes 29 seconds