java.util.logging unsupportet by jpf?

[Chaosguard]

I get the following error when trying to test a project that uses the java.util.logging API.

gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.UnsatisfiedLinkError: sun.misc.Signal.findSignal(Ljava/lang/String;)I (no peer)
    at sun.misc.Signal.<init>(Signal.java:123)
    at java.lang.Terminator.setup(Terminator.java:40)
    at java.lang.Shutdown.add(Shutdown.java:87)
    at java.lang.Runtime.addShutdownHook(Runtime.java:190)
    at java.util.logging.LogManager.<init>(LogManager.java:227)
    at java.util.logging.LogManager$1.run(LogManager.java:175)
    at java.security.AccessController.doPrivileged(AccessController.java:41)
    at java.util.logging.LogManager.<clinit>(LogManager.java:156)
    at java.util.logging.Logger.getLogger(Logger.java:254)
    at eu.xtreemos.vnode.scheduling.gcdummy.DummyGroupCom.<clinit>(DummyGroupCom.java:27)
    at jpftests.MutualExclusionTest.main(MutualExclusionTest.java:62)

Is it as it seems to me that using logging in the code is not supported at the moment?

I tested jdk 1.5.0_17 on vista and jdk 1.5.0_13 on kernel 2.6.15

[Nobody/Anonymous]

i got the same error using jdk 1.5.0_06, jdk 1.6.0_04 and ibm sdk 6.0 on win xp and solaris 9 sparc.

the only workaround for me was to replace remove all traces of log4j from the code under test (that includes import statements and all!).

btw, have the jpf dev team gone on a mission to mars or something? this forum is as dead as the red planet!