[JPF]Build Failed
321 views
Skip to first unread message
Quoc-Sang
Feb 8, 2012, 9:44:37 PM2/8/12
to Java™ Pathfinder
Dear all,
I would like to ask you a question about installing/building JPF. I
did the instructions step by step:
> cd jpf-core
> bin/ant test
Instead of BUILD SUCCESSFUL, I got a build error like this:
BUILD FAILED
/home/d2b/Programs/jpf/jpf-core/build.xml:406: Test
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest failed
Could you tell me how to fix this? Thank you very much.
Best regards,
Sang
I would like to ask you a question about installing/building JPF. I
did the instructions step by step:
> cd jpf-core
> bin/ant test
Instead of BUILD SUCCESSFUL, I got a build error like this:
BUILD FAILED
/home/d2b/Programs/jpf/jpf-core/build.xml:406: Test
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest failed
Could you tell me how to fix this? Thank you very much.
Best regards,
Sang
Peter Mehlitz
Feb 8, 2012, 9:56:01 PM2/8/12
to java-pa...@googlegroups.com
please run
bin/test .test.java.lang.BoxObjectCacheTest
to see which test fails for what reason. What Java version / platform do you use?
-- Peter
Quoc-Sang
Feb 9, 2012, 4:42:26 AM2/9/12
to Java™ Pathfinder
Dear Sir,
I'm using OpenJDK 1.6.0_20 on Ubuntu 10.04.1 LTS. The error of running
bin/test .test.java.lang.BoxObjectCacheTest is
------------------------------------
at gov.nasa.jpf.tool.RunTest.main(RunTest.java:79)
......................................... test method failed with: JPF
internal exception executing: gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testIntCache :gov.nasa.jpf.JPFNativePeerException: exception in native
method java.lang.Integer$IntegerCache.<clinit>
......................................... testIntCache: Failed
------------------------------------
The full output is as below:
bin/test .test.java.lang.BoxObjectCacheTest
......................................... testing testIntCache()
running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest testIntCache
^[[DJavaPathfinder v6.0 (rev ${version}) - (C) RIACS/NASA Ames
Research Center
====================================================== system under
test
application: gov/nasa/jpf/util/test/TestJPFHelper.java
arguments: gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testIntCache
====================================================== search started:
2/9/12 9:35 AM
---------------------- JPF error stack trace ---------------------
gov.nasa.jpf.JPFNativePeerException: exception in native method
java.lang.Integer$IntegerCache.<clinit>
at
gov.nasa.jpf.jvm.NativeMethodInfo.executeNative(NativeMethodInfo.java:
199)
at gov.nasa.jpf.jvm.bytecode.EXECUTENATIVE.execute(EXECUTENATIVE.java:
72)
at gov.nasa.jpf.jvm.ThreadInfo.executeInstruction(ThreadInfo.java:
2223)
at gov.nasa.jpf.jvm.ThreadInfo.executeTransition(ThreadInfo.java:
2175)
at
gov.nasa.jpf.jvm.SystemState.executeNextTransition(SystemState.java:
712)
at gov.nasa.jpf.jvm.JVM.forward(JVM.java:1774)
at gov.nasa.jpf.search.Search.forward(Search.java:533)
at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:78)
at gov.nasa.jpf.JPF.run(JPF.java:618)
at gov.nasa.jpf.util.test.TestJPF.runJPF(TestJPF.java:655)
at gov.nasa.jpf.util.test.TestJPF.createAndRunJPF(TestJPF.java:601)
at gov.nasa.jpf.util.test.TestJPF.noPropertyViolation(TestJPF.java:
706)
at
gov.nasa.jpf.util.test.TestJPF.verifyNoPropertyViolation(TestJPF.java:
736)
at
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest.testIntCache(BoxObjectCacheTest.java:
32)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:616)
at gov.nasa.jpf.util.test.TestJPF.runTests(TestJPF.java:496)
at
gov.nasa.jpf.util.test.TestJPFHelper.runWithoutMain(TestJPFHelper.java:
61)
at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:43)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:616)
at gov.nasa.jpf.tool.Run.call(Run.java:76)
at gov.nasa.jpf.tool.RunTest.main(RunTest.java:79)
Caused by: java.lang.NullPointerException
at gov.nasa.jpf.jvm.ElementInfo.setIntField(ElementInfo.java:941)
at gov.nasa.jpf.jvm.ElementInfo.setIntField(ElementInfo.java:848)
at gov.nasa.jpf.jvm.JPF_java_lang_Integer$IntegerCache.
$clinit(JPF_java_lang_Integer$IntegerCache.java:59)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:616)
at
gov.nasa.jpf.jvm.NativeMethodInfo.executeNative(NativeMethodInfo.java:
148)
... 26 more
java.lang.AssertionError: JPF internal exception executing:
gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testIntCache :gov.nasa.jpf.JPFNativePeerException: exception in native
method java.lang.Integer$IntegerCache.<clinit>
at gov.nasa.jpf.util.test.TestJPF.fail(TestJPF.java:155)
at gov.nasa.jpf.util.test.TestJPF.fail(TestJPF.java:147)
at gov.nasa.jpf.util.test.TestJPF.noPropertyViolation(TestJPF.java:
710)
at
gov.nasa.jpf.util.test.TestJPF.verifyNoPropertyViolation(TestJPF.java:
736)
at
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest.testIntCache(BoxObjectCacheTest.java:
32)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:616)
at gov.nasa.jpf.util.test.TestJPF.runTests(TestJPF.java:496)
at
gov.nasa.jpf.util.test.TestJPFHelper.runWithoutMain(TestJPFHelper.java:
61)
at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:43)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:616)
at gov.nasa.jpf.tool.Run.call(Run.java:76)
at gov.nasa.jpf.tool.RunTest.main(RunTest.java:79)
......................................... test method failed with: JPF
internal exception executing: gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testIntCache :gov.nasa.jpf.JPFNativePeerException: exception in native
method java.lang.Integer$IntegerCache.<clinit>
......................................... testIntCache: Failed
......................................... testing testCharacterCache()
running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest testCharacterCache
JavaPathfinder v6.0 (rev ${version}) - (C) RIACS/NASA Ames Research
Center
====================================================== system under
test
application: gov/nasa/jpf/util/test/TestJPFHelper.java
arguments: gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testCharacterCache
====================================================== search started:
2/9/12 9:35 AM
====================================================== results
no errors detected
====================================================== search
finished: 2/9/12 9:35 AM
......................................... testCharacterCache: Ok
......................................... testing testByteCache()
running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest testByteCache
JavaPathfinder v6.0 (rev ${version}) - (C) RIACS/NASA Ames Research
Center
====================================================== system under
test
application: gov/nasa/jpf/util/test/TestJPFHelper.java
arguments: gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testByteCache
====================================================== search started:
2/9/12 9:35 AM
====================================================== results
no errors detected
====================================================== search
finished: 2/9/12 9:35 AM
......................................... testByteCache: Ok
......................................... execution of testsuite:
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest FAILED
.... [1] testIntCache: Failed
.... [2] testCharacterCache: Ok
.... [3] testByteCache: Ok
......................................... tests: 3, failures: 1,
errors: 0
I'm using OpenJDK 1.6.0_20 on Ubuntu 10.04.1 LTS. The error of running
bin/test .test.java.lang.BoxObjectCacheTest is
------------------------------------
at gov.nasa.jpf.tool.RunTest.main(RunTest.java:79)
......................................... test method failed with: JPF
internal exception executing: gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testIntCache :gov.nasa.jpf.JPFNativePeerException: exception in native
method java.lang.Integer$IntegerCache.<clinit>
......................................... testIntCache: Failed
------------------------------------
The full output is as below:
bin/test .test.java.lang.BoxObjectCacheTest
......................................... testing testIntCache()
running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest testIntCache
^[[DJavaPathfinder v6.0 (rev ${version}) - (C) RIACS/NASA Ames
Research Center
====================================================== system under
test
application: gov/nasa/jpf/util/test/TestJPFHelper.java
arguments: gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testIntCache
====================================================== search started:
2/9/12 9:35 AM
---------------------- JPF error stack trace ---------------------
gov.nasa.jpf.JPFNativePeerException: exception in native method
java.lang.Integer$IntegerCache.<clinit>
at
gov.nasa.jpf.jvm.NativeMethodInfo.executeNative(NativeMethodInfo.java:
199)
at gov.nasa.jpf.jvm.bytecode.EXECUTENATIVE.execute(EXECUTENATIVE.java:
72)
at gov.nasa.jpf.jvm.ThreadInfo.executeInstruction(ThreadInfo.java:
2223)
at gov.nasa.jpf.jvm.ThreadInfo.executeTransition(ThreadInfo.java:
2175)
at
gov.nasa.jpf.jvm.SystemState.executeNextTransition(SystemState.java:
712)
at gov.nasa.jpf.jvm.JVM.forward(JVM.java:1774)
at gov.nasa.jpf.search.Search.forward(Search.java:533)
at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:78)
at gov.nasa.jpf.JPF.run(JPF.java:618)
at gov.nasa.jpf.util.test.TestJPF.runJPF(TestJPF.java:655)
at gov.nasa.jpf.util.test.TestJPF.createAndRunJPF(TestJPF.java:601)
at gov.nasa.jpf.util.test.TestJPF.noPropertyViolation(TestJPF.java:
706)
at
gov.nasa.jpf.util.test.TestJPF.verifyNoPropertyViolation(TestJPF.java:
736)
at
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest.testIntCache(BoxObjectCacheTest.java:
32)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:616)
at gov.nasa.jpf.util.test.TestJPF.runTests(TestJPF.java:496)
at
gov.nasa.jpf.util.test.TestJPFHelper.runWithoutMain(TestJPFHelper.java:
61)
at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:43)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:616)
at gov.nasa.jpf.tool.Run.call(Run.java:76)
at gov.nasa.jpf.tool.RunTest.main(RunTest.java:79)
Caused by: java.lang.NullPointerException
at gov.nasa.jpf.jvm.ElementInfo.setIntField(ElementInfo.java:941)
at gov.nasa.jpf.jvm.ElementInfo.setIntField(ElementInfo.java:848)
at gov.nasa.jpf.jvm.JPF_java_lang_Integer$IntegerCache.
$clinit(JPF_java_lang_Integer$IntegerCache.java:59)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:616)
at
gov.nasa.jpf.jvm.NativeMethodInfo.executeNative(NativeMethodInfo.java:
148)
... 26 more
java.lang.AssertionError: JPF internal exception executing:
gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testIntCache :gov.nasa.jpf.JPFNativePeerException: exception in native
method java.lang.Integer$IntegerCache.<clinit>
at gov.nasa.jpf.util.test.TestJPF.fail(TestJPF.java:155)
at gov.nasa.jpf.util.test.TestJPF.fail(TestJPF.java:147)
at gov.nasa.jpf.util.test.TestJPF.noPropertyViolation(TestJPF.java:
710)
at
gov.nasa.jpf.util.test.TestJPF.verifyNoPropertyViolation(TestJPF.java:
736)
at
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest.testIntCache(BoxObjectCacheTest.java:
32)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:616)
at gov.nasa.jpf.util.test.TestJPF.runTests(TestJPF.java:496)
at
gov.nasa.jpf.util.test.TestJPFHelper.runWithoutMain(TestJPFHelper.java:
61)
at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:43)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:616)
at gov.nasa.jpf.tool.Run.call(Run.java:76)
at gov.nasa.jpf.tool.RunTest.main(RunTest.java:79)
......................................... test method failed with: JPF
internal exception executing: gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testIntCache :gov.nasa.jpf.JPFNativePeerException: exception in native
method java.lang.Integer$IntegerCache.<clinit>
......................................... testIntCache: Failed
......................................... testing testCharacterCache()
running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest testCharacterCache
JavaPathfinder v6.0 (rev ${version}) - (C) RIACS/NASA Ames Research
Center
====================================================== system under
test
application: gov/nasa/jpf/util/test/TestJPFHelper.java
arguments: gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testCharacterCache
====================================================== search started:
2/9/12 9:35 AM
====================================================== results
no errors detected
====================================================== search
finished: 2/9/12 9:35 AM
......................................... testCharacterCache: Ok
......................................... testing testByteCache()
running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest testByteCache
JavaPathfinder v6.0 (rev ${version}) - (C) RIACS/NASA Ames Research
Center
====================================================== system under
test
application: gov/nasa/jpf/util/test/TestJPFHelper.java
arguments: gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testByteCache
====================================================== search started:
2/9/12 9:35 AM
====================================================== results
no errors detected
====================================================== search
finished: 2/9/12 9:35 AM
......................................... testByteCache: Ok
......................................... execution of testsuite:
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest FAILED
.... [1] testIntCache: Failed
.... [2] testCharacterCache: Ok
.... [3] testByteCache: Ok
......................................... tests: 3, failures: 1,
errors: 0
Peter Mehlitz
Feb 9, 2012, 1:50:22 PM2/9/12
to java-pa...@googlegroups.com
this is apparently a Java 1.6 incompatibility between different platforms. Please run
javap -p java.lang.Integer\$Cache
to see what fields your version has.
-- Peter
Quoc-Sang Phan
Feb 9, 2012, 5:39:40 PM2/9/12
to Java™ Pathfinder
Dear Sir,
This version of JDK is the latest one that I can have with Ubuntu.
Below is the output after running : javap -p java.lang.Integer\$Cache
---------------------------------------------------------------------
javap -p java.lang.Integer$Cache
Compiled from "Integer.java"
public final class java.lang.Integer extends java.lang.Number
implements java.lang.Comparable{
public static final int MIN_VALUE;
public static final int MAX_VALUE;
public static final java.lang.Class TYPE;
static final char[] digits;
static final char[] DigitTens;
static final char[] DigitOnes;
static final int[] sizeTable;
private final int value;
public static final int SIZE;
private static final long serialVersionUID;
public static java.lang.String toString(int, int);
public static java.lang.String toHexString(int);
public static java.lang.String toOctalString(int);
public static java.lang.String toBinaryString(int);
private static java.lang.String toUnsignedString(int, int);
public static java.lang.String toString(int);
static void getChars(int, int, char[]);
static int stringSize(int);
public static int parseInt(java.lang.String, int) throws
java.lang.NumberFormatException;
public static int parseInt(java.lang.String) throws
java.lang.NumberFormatException;
public static java.lang.Integer valueOf(java.lang.String,
int) throws java.lang.NumberFormatException;
public static java.lang.Integer valueOf(java.lang.String)
throws java.lang.NumberFormatException;
public static java.lang.Integer valueOf(int);
public java.lang.Integer(int);
public java.lang.Integer(java.lang.String) throws
java.lang.NumberFormatException;
public byte byteValue();
public short shortValue();
public int intValue();
public long longValue();
public float floatValue();
public double doubleValue();
public java.lang.String toString();
public int hashCode();
public boolean equals(java.lang.Object);
public static java.lang.Integer getInteger(java.lang.String);
public static java.lang.Integer getInteger(java.lang.String, int);
public static java.lang.Integer getInteger(java.lang.String,
java.lang.Integer);
public static java.lang.Integer decode(java.lang.String)
throws java.lang.NumberFormatException;
public int compareTo(java.lang.Integer);
public static int highestOneBit(int);
public static int lowestOneBit(int);
public static int numberOfLeadingZeros(int);
public static int numberOfTrailingZeros(int);
public static int bitCount(int);
public static int rotateLeft(int, int);
public static int rotateRight(int, int);
public static int reverse(int);
public static int signum(int);
public static int reverseBytes(int);
public int compareTo(java.lang.Object);
static {};
}
---------------------------------------------------------------------
Best wishes,
Sang
This version of JDK is the latest one that I can have with Ubuntu.
Below is the output after running : javap -p java.lang.Integer\$Cache
---------------------------------------------------------------------
javap -p java.lang.Integer$Cache
Compiled from "Integer.java"
public final class java.lang.Integer extends java.lang.Number
implements java.lang.Comparable{
public static final int MIN_VALUE;
public static final int MAX_VALUE;
public static final java.lang.Class TYPE;
static final char[] digits;
static final char[] DigitTens;
static final char[] DigitOnes;
static final int[] sizeTable;
private final int value;
public static final int SIZE;
private static final long serialVersionUID;
public static java.lang.String toString(int, int);
public static java.lang.String toHexString(int);
public static java.lang.String toOctalString(int);
public static java.lang.String toBinaryString(int);
private static java.lang.String toUnsignedString(int, int);
public static java.lang.String toString(int);
static void getChars(int, int, char[]);
static int stringSize(int);
public static int parseInt(java.lang.String, int) throws
java.lang.NumberFormatException;
public static int parseInt(java.lang.String) throws
java.lang.NumberFormatException;
public static java.lang.Integer valueOf(java.lang.String,
int) throws java.lang.NumberFormatException;
public static java.lang.Integer valueOf(java.lang.String)
throws java.lang.NumberFormatException;
public static java.lang.Integer valueOf(int);
public java.lang.Integer(int);
public java.lang.Integer(java.lang.String) throws
java.lang.NumberFormatException;
public byte byteValue();
public short shortValue();
public int intValue();
public long longValue();
public float floatValue();
public double doubleValue();
public java.lang.String toString();
public int hashCode();
public boolean equals(java.lang.Object);
public static java.lang.Integer getInteger(java.lang.String);
public static java.lang.Integer getInteger(java.lang.String, int);
public static java.lang.Integer getInteger(java.lang.String,
java.lang.Integer);
public static java.lang.Integer decode(java.lang.String)
throws java.lang.NumberFormatException;
public int compareTo(java.lang.Integer);
public static int highestOneBit(int);
public static int lowestOneBit(int);
public static int numberOfLeadingZeros(int);
public static int numberOfTrailingZeros(int);
public static int bitCount(int);
public static int rotateLeft(int, int);
public static int rotateRight(int, int);
public static int reverse(int);
public static int signum(int);
public static int reverseBytes(int);
public int compareTo(java.lang.Object);
static {};
}
---------------------------------------------------------------------
Best wishes,
Sang
Peter Mehlitz
Feb 9, 2012, 5:44:33 PM2/9/12
to java-pa...@googlegroups.com
unless I miss my guess, your Java is using IcedTea/ClassPath classes, i.e. not the Oracle version.
Should be fixed by now, please check again
-- Peter
Quoc-Sang Phan
Feb 9, 2012, 7:32:34 PM2/9/12
to Java™ Pathfinder
You are perfectly right about IcedTea.
However, when I switch to Oracle Java 1.7.0_02, the problem still
remains, this time with another error:
-------------------------------------------------
Total time: 1 minute 17 seconds
-------------------------------------------------
I tried bin/test .test.java.io.ObjectStreamTest, and got following
error:
------------------------------------------------
......................................... testing
testSimpleReadbackOk()
testSimpleReadbackOk
====================================================== search started:
2/10/12 12:26 AM
====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.AssertionError: serialization readback failed:
java.lang.NoSuchMethodError: sun.misc.Unsafe.getObjectVolatile(Ljava/
lang/Object;J)Ljava/lang/Object;
at gov.nasa.jpf.util.test.TestJPF.fail(TestJPF.java:155)
at
gov.nasa.jpf.test.java.io.ObjectStreamTest.testSimpleReadbackOk(ObjectStreamTest.java:
98)
at java.lang.reflect.Method.invoke(Native Method)
at
java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:576)
at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)
====================================================== snapshot #1
thread java.lang.Thread:{id:0,name:main,status:RUNNING,priority:
5,lockCount:0,suspendCount:0}
call stack:
at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:578)
at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)
====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
"java.lang.AssertionError: serialization readback f..."
====================================================== search
finished: 2/10/12 12:26 AM
java.lang.AssertionError: JPF found unexpected errors:
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
at gov.nasa.jpf.util.test.TestJPF.fail(TestJPF.java:155)
at gov.nasa.jpf.util.test.TestJPF.noPropertyViolation(TestJPF.java:
716)
at
gov.nasa.jpf.util.test.TestJPF.verifyNoPropertyViolation(TestJPF.java:
736)
at
gov.nasa.jpf.test.java.io.ObjectStreamTest.testSimpleReadbackOk(ObjectStreamTest.java:
84)
......................................... testSimpleReadbackOk: Failed
......................................... execution of testsuite:
gov.nasa.jpf.test.java.io.ObjectStreamTest FAILED
.... [1] testSimpleReadbackOk: Failed
......................................... tests: 1, failures: 1,
errors: 0
------------------------------------------------
Could you please tell me what I should do next?
Sang
However, when I switch to Oracle Java 1.7.0_02, the problem still
remains, this time with another error:
-------------------------------------------------
BUILD FAILED
/home/d2b/Programs/jpf/jpf-core/build.xml:406: Test
gov.nasa.jpf.test.java.io.ObjectStreamTest failed
/home/d2b/Programs/jpf/jpf-core/build.xml:406: Test
Total time: 1 minute 17 seconds
-------------------------------------------------
I tried bin/test .test.java.io.ObjectStreamTest, and got following
error:
------------------------------------------------
......................................... testing
testSimpleReadbackOk()
running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.io.ObjectStreamTest testSimpleReadbackOk
JavaPathfinder v6.0 (rev ${version}) - (C) RIACS/NASA Ames Research
Center
====================================================== system under
test
application: gov/nasa/jpf/util/test/TestJPFHelper.java
arguments: gov.nasa.jpf.test.java.io.ObjectStreamTest
Center
====================================================== system under
test
application: gov/nasa/jpf/util/test/TestJPFHelper.java
testSimpleReadbackOk
====================================================== search started:
2/10/12 12:26 AM
====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.AssertionError: serialization readback failed:
java.lang.NoSuchMethodError: sun.misc.Unsafe.getObjectVolatile(Ljava/
lang/Object;J)Ljava/lang/Object;
at gov.nasa.jpf.util.test.TestJPF.fail(TestJPF.java:155)
at
gov.nasa.jpf.test.java.io.ObjectStreamTest.testSimpleReadbackOk(ObjectStreamTest.java:
98)
at java.lang.reflect.Method.invoke(Native Method)
at
java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:576)
at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)
====================================================== snapshot #1
thread java.lang.Thread:{id:0,name:main,status:RUNNING,priority:
5,lockCount:0,suspendCount:0}
call stack:
at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:578)
at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)
====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
"java.lang.AssertionError: serialization readback f..."
====================================================== search
finished: 2/10/12 12:26 AM
java.lang.AssertionError: JPF found unexpected errors:
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
at gov.nasa.jpf.util.test.TestJPF.fail(TestJPF.java:155)
at gov.nasa.jpf.util.test.TestJPF.noPropertyViolation(TestJPF.java:
716)
at
gov.nasa.jpf.util.test.TestJPF.verifyNoPropertyViolation(TestJPF.java:
736)
at
gov.nasa.jpf.test.java.io.ObjectStreamTest.testSimpleReadbackOk(ObjectStreamTest.java:
84)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:601)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at gov.nasa.jpf.util.test.TestJPF.runTests(TestJPF.java:496)
at
gov.nasa.jpf.util.test.TestJPFHelper.runWithoutMain(TestJPFHelper.java:
61)
at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:43)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:601)
at
gov.nasa.jpf.util.test.TestJPFHelper.runWithoutMain(TestJPFHelper.java:
61)
at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:43)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at gov.nasa.jpf.tool.Run.call(Run.java:76)
at gov.nasa.jpf.tool.RunTest.main(RunTest.java:79)
......................................... test method failed with: JPF
found unexpected errors: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
at gov.nasa.jpf.tool.RunTest.main(RunTest.java:79)
......................................... test method failed with: JPF
......................................... testSimpleReadbackOk: Failed
......................................... execution of testsuite:
gov.nasa.jpf.test.java.io.ObjectStreamTest FAILED
.... [1] testSimpleReadbackOk: Failed
......................................... tests: 1, failures: 1,
errors: 0
------------------------------------------------
Could you please tell me what I should do next?
Sang
Quoc-Sang Phan
Feb 10, 2012, 5:25:29 AM2/10/12
to Java™ Pathfinder
Dear Mehlitz,
Today, I tried to install on another machine with Oracle JDK 1.7.0-
b147 on Fedora 16 (Verne),
and I got the same Build Failed with
gov.nasa.jpf.test.java.io.ObjectStreamTest as in my previous email.
Is it an incompatibility with Java 1.7?
Best wishes,
Sang
Today, I tried to install on another machine with Oracle JDK 1.7.0-
b147 on Fedora 16 (Verne),
and I got the same Build Failed with
gov.nasa.jpf.test.java.io.ObjectStreamTest as in my previous email.
Is it an incompatibility with Java 1.7?
Best wishes,
Sang
Peter Mehlitz
Feb 10, 2012, 1:47:21 PM2/10/12
to java-pa...@googlegroups.com
yes - apparently the non-public sun.misc.Unsafe got changed in 1.7.
I've added the volatile Unsafe getters/setters as simple delegations (plain jpf-core does not model the relaxed memory model anyways), but I can't test on a Java 1.7 right now, so it might or might not be enough for the ObjectStreams.
I've added the volatile Unsafe getters/setters as simple delegations (plain jpf-core does not model the relaxed memory model anyways), but I can't test on a Java 1.7 right now, so it might or might not be enough for the ObjectStreams.
So what about 1.6 IcedTea/Classpath? The current jpf-core should pass the regression tests there
-- Peter
Quoc-Sang Phan
Feb 11, 2012, 3:10:59 AM2/11/12
to Java™ Pathfinder
I've cloned the latest jpf-core, and it past the regression tests with
IcedTea.
Just one more thing, the first time I run build/ant test, I encounter
a Build Failed with ReflectionTest.
---------------------------------------
BUILD FAILED
/home/.../Programs/jpf/jpf-core/build.xml:406: Test
gov.nasa.jpf.test.vm.reflection.ReflectionTest failed
Total time: 2 minutes 52 seconds
---------------------------------------
But when I run the ReflectionTest alone, it is successful. Then I run
build/ant/test again, and it is successful too.
I wonder if it is a potential problem, which may affect my
verification result.
Thank you very much for your kind help.
Best wishes,
Sang
IcedTea.
Just one more thing, the first time I run build/ant test, I encounter
a Build Failed with ReflectionTest.
---------------------------------------
BUILD FAILED
/home/.../Programs/jpf/jpf-core/build.xml:406: Test
gov.nasa.jpf.test.vm.reflection.ReflectionTest failed
Total time: 2 minutes 52 seconds
---------------------------------------
But when I run the ReflectionTest alone, it is successful. Then I run
build/ant/test again, and it is successful too.
I wonder if it is a potential problem, which may affect my
verification result.
Thank you very much for your kind help.
Best wishes,
Sang
Peter Mehlitz
Feb 11, 2012, 3:14:13 PM2/11/12
to java-pa...@googlegroups.com
ReflectionTest does not use any temporary files or other data that could change behavior of subsequent runs, so you have to investigate. For the failed executions, what does the
build/tests/TEST-gov.nasa.jpf.test.vm.reflection.ReflectionTest.txt
file contain? Do your IcedTea classes actually contain sun.reflect.Reflection?
-- Peter
Quoc-Sang Phan
Feb 13, 2012, 4:16:22 AM2/13/12
to Java™ Pathfinder
Dear Peter,
I overwrote the file TEST-
gov.nasa.jpf.test.vm.reflection.ReflectionTest.txt in my second run
(BUILD SUCCESSFUL).
Therefore, I rerun bin/ant test. This time, there is a different BUILD
FAILED
_____________________
Total time: 13 seconds
_____________________
Would you please explain for me why I have different results when
building several times.
The content of TEST-gov.nasa.jpf.test.basic.ListenerTest.txt is as
below:
Testsuite: gov.nasa.jpf.test.basic.ListenerTest
Tests run: 1, Failures: 1, Errors: 0, Time elapsed: 0.5 sec
------------- Standard Output ---------------
running jpf with args: +vm.class=gov.nasa.jpf.test.basic.ListenerTest
$TestVM gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.basic.ListenerTest testPendingListeners
------------- ---------------- ---------------
------------- Standard Error -----------------
java.lang.NullPointerException
at gov.nasa.jpf.jvm.ClassInfo$Initializer.setCode(ClassInfo.java:559)
at gov.nasa.jpf.classfile.ClassFile.setCode(ClassFile.java:529)
at gov.nasa.jpf.classfile.ClassFile.parseCodeAttr(ClassFile.java:
1123)
at gov.nasa.jpf.jvm.ClassInfo
$Initializer.setMethodAttribute(ClassInfo.java:511)
at gov.nasa.jpf.classfile.ClassFile.setMethodAttribute(ClassFile.java:
494)
at
gov.nasa.jpf.classfile.ClassFile.parseMethodAttributes(ClassFile.java:
1082)
at gov.nasa.jpf.classfile.ClassFile.parseMethods(ClassFile.java:1064)
at gov.nasa.jpf.classfile.ClassFile.parse(ClassFile.java:806)
at gov.nasa.jpf.jvm.ClassInfo.<init>(ClassInfo.java:769)
at gov.nasa.jpf.jvm.ClassInfo.loadClass(ClassInfo.java:1173)
at gov.nasa.jpf.jvm.ClassInfo.getResolvedClassInfo(ClassInfo.java:
1162)
at gov.nasa.jpf.jvm.ClassInfo.tryGetResolvedClassInfo(ClassInfo.java:
1231)
at gov.nasa.jpf.jvm.JVM.registerStartupClasses(JVM.java:504)
at gov.nasa.jpf.jvm.JVM.initialize(JVM.java:300)
at gov.nasa.jpf.JPF.run(JPF.java:616)
55)
at org.junit.runners.model.FrameworkMethod
$1.runReflectiveCall(FrameworkMethod.java:44)
at
org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:
15)
at
org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:
41)
at
org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:
20)
at
org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:
28)
at
org.junit.internal.runners.statements.RunAfters.evaluate(RunAfters.java:
31)
at
org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:
70)
at
org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:
44)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:180)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:41)
at org.junit.runners.ParentRunner$1.evaluate(ParentRunner.java:173)
at
org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:
28)
at
org.junit.internal.runners.statements.RunAfters.evaluate(RunAfters.java:
31)
at org.junit.runners.ParentRunner.run(ParentRunner.java:220)
at junit.framework.JUnit4TestAdapter.run(JUnit4TestAdapter.java:39)
at
org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.run(JUnitTestRunner.java:
421)
at
org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.launch(JUnitTestRunner.java:
921)
at
org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.main(JUnitTestRunner.java:
778)
------------- ---------------- ---------------
Testcase: testPendingListeners took 0.474 sec
FAILED
JPF internal exception executing:
+vm.class=gov.nasa.jpf.test.basic.ListenerTest$TestVM
gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.basic.ListenerTest
testPendingListeners :java.lang.NullPointerException
junit.framework.AssertionFailedError: JPF internal exception
executing: +vm.class=gov.nasa.jpf.test.basic.ListenerTest$TestVM
gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.basic.ListenerTest
testPendingListeners :java.lang.NullPointerException
55)
I overwrote the file TEST-
gov.nasa.jpf.test.vm.reflection.ReflectionTest.txt in my second run
(BUILD SUCCESSFUL).
Therefore, I rerun bin/ant test. This time, there is a different BUILD
FAILED
_____________________
BUILD FAILED
/home/.../Programs/jpf/jpf-core/build.xml:406: Test
gov.nasa.jpf.test.basic.ListenerTest failed
/home/.../Programs/jpf/jpf-core/build.xml:406: Test
Total time: 13 seconds
_____________________
Would you please explain for me why I have different results when
building several times.
The content of TEST-gov.nasa.jpf.test.basic.ListenerTest.txt is as
below:
Testsuite: gov.nasa.jpf.test.basic.ListenerTest
Tests run: 1, Failures: 1, Errors: 0, Time elapsed: 0.5 sec
------------- Standard Output ---------------
running jpf with args: +vm.class=gov.nasa.jpf.test.basic.ListenerTest
$TestVM gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.basic.ListenerTest testPendingListeners
------------- ---------------- ---------------
------------- Standard Error -----------------
java.lang.NullPointerException
at gov.nasa.jpf.jvm.ClassInfo$Initializer.setCode(ClassInfo.java:559)
at gov.nasa.jpf.classfile.ClassFile.setCode(ClassFile.java:529)
at gov.nasa.jpf.classfile.ClassFile.parseCodeAttr(ClassFile.java:
1123)
at gov.nasa.jpf.jvm.ClassInfo
$Initializer.setMethodAttribute(ClassInfo.java:511)
at gov.nasa.jpf.classfile.ClassFile.setMethodAttribute(ClassFile.java:
494)
at
gov.nasa.jpf.classfile.ClassFile.parseMethodAttributes(ClassFile.java:
1082)
at gov.nasa.jpf.classfile.ClassFile.parseMethods(ClassFile.java:1064)
at gov.nasa.jpf.classfile.ClassFile.parse(ClassFile.java:806)
at gov.nasa.jpf.jvm.ClassInfo.<init>(ClassInfo.java:769)
at gov.nasa.jpf.jvm.ClassInfo.loadClass(ClassInfo.java:1173)
at gov.nasa.jpf.jvm.ClassInfo.getResolvedClassInfo(ClassInfo.java:
1162)
at gov.nasa.jpf.jvm.ClassInfo.tryGetResolvedClassInfo(ClassInfo.java:
1231)
at gov.nasa.jpf.jvm.JVM.registerStartupClasses(JVM.java:504)
at gov.nasa.jpf.jvm.JVM.initialize(JVM.java:300)
at gov.nasa.jpf.JPF.run(JPF.java:616)
at gov.nasa.jpf.util.test.TestJPF.runJPF(TestJPF.java:655)
at gov.nasa.jpf.util.test.TestJPF.createAndRunJPF(TestJPF.java:601)
at gov.nasa.jpf.util.test.TestJPF.noPropertyViolation(TestJPF.java:
706)
at
gov.nasa.jpf.util.test.TestJPF.verifyNoPropertyViolation(TestJPF.java:
736)
at
gov.nasa.jpf.test.basic.ListenerTest.testPendingListeners(ListenerTest.java:
at gov.nasa.jpf.util.test.TestJPF.createAndRunJPF(TestJPF.java:601)
at gov.nasa.jpf.util.test.TestJPF.noPropertyViolation(TestJPF.java:
706)
at
gov.nasa.jpf.util.test.TestJPF.verifyNoPropertyViolation(TestJPF.java:
736)
at
55)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:616)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at org.junit.runners.model.FrameworkMethod
$1.runReflectiveCall(FrameworkMethod.java:44)
at
org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:
15)
at
org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:
41)
at
org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:
20)
at
org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:
28)
at
org.junit.internal.runners.statements.RunAfters.evaluate(RunAfters.java:
31)
at
org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:
70)
at
org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:
44)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:180)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:41)
at org.junit.runners.ParentRunner$1.evaluate(ParentRunner.java:173)
at
org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:
28)
at
org.junit.internal.runners.statements.RunAfters.evaluate(RunAfters.java:
31)
at org.junit.runners.ParentRunner.run(ParentRunner.java:220)
at junit.framework.JUnit4TestAdapter.run(JUnit4TestAdapter.java:39)
at
org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.run(JUnitTestRunner.java:
421)
at
org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.launch(JUnitTestRunner.java:
921)
at
org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.main(JUnitTestRunner.java:
778)
------------- ---------------- ---------------
Testcase: testPendingListeners took 0.474 sec
FAILED
JPF internal exception executing:
+vm.class=gov.nasa.jpf.test.basic.ListenerTest$TestVM
gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.basic.ListenerTest
testPendingListeners :java.lang.NullPointerException
junit.framework.AssertionFailedError: JPF internal exception
executing: +vm.class=gov.nasa.jpf.test.basic.ListenerTest$TestVM
gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.basic.ListenerTest
testPendingListeners :java.lang.NullPointerException
at gov.nasa.jpf.util.test.TestJPF.fail(TestJPF.java:155)
at gov.nasa.jpf.util.test.TestJPF.fail(TestJPF.java:147)
at gov.nasa.jpf.util.test.TestJPF.noPropertyViolation(TestJPF.java:
710)
at
gov.nasa.jpf.util.test.TestJPF.verifyNoPropertyViolation(TestJPF.java:
736)
at
gov.nasa.jpf.test.basic.ListenerTest.testPendingListeners(ListenerTest.java:
at gov.nasa.jpf.util.test.TestJPF.fail(TestJPF.java:147)
at gov.nasa.jpf.util.test.TestJPF.noPropertyViolation(TestJPF.java:
710)
at
gov.nasa.jpf.util.test.TestJPF.verifyNoPropertyViolation(TestJPF.java:
736)
at
55)
Quoc-Sang Phan
Feb 13, 2012, 5:51:53 AM2/13/12
to Java™ Pathfinder
Dear Peter,
I switched to Oracle Java 1.6.0_30, and JPF seems to be stable now.
Obviously, the incompatibility with OpenJDK caused the BUILD FAILED
several times.
But I'm fine with this JDK and JPF. Thank you very much for your help.
Best wishes,
Sang
I switched to Oracle Java 1.6.0_30, and JPF seems to be stable now.
Obviously, the incompatibility with OpenJDK caused the BUILD FAILED
several times.
But I'm fine with this JDK and JPF. Thank you very much for your help.
Best wishes,
Sang
Reply all
Reply to author
Forward
0 new messages