NoUncaughtExceptionsProperty in sun.misc.VM

[Filip Jurnečka]

Hi,
I want to start using JPF on a new Connector we are developing, but I
stumbled upon something I don't know how to understand.

I want to create a new communicating client, connect through the
connector to a server and send a message. The code works fine for me
but JPF thinks differently. So when I am initializing the client, JPF
returns to me with:

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.UnsatisfiedLinkError: sun.misc.VM.initialize()V (no peer)
at sun.misc.VM.<clinit>(VM.java:332)
at java.nio.Bits.<clinit>(Bits.java:604)
at java.nio.DirectByteBuffer.<clinit>(DirectByteBuffer.java:30)
at java.nio.ByteBuffer.allocateDirect(ByteBuffer.java:288)
at org.jboss.netty.channel.socket.nio.SocketSendBufferPool
$Preallocation.<init>(SocketSendBufferPool.java:159)
at
org.jboss.netty.channel.socket.nio.SocketSendBufferPool.<init>(SocketSendBufferPool.java:
46)
at org.jboss.netty.channel.socket.nio.NioWorker.<init>(NioWorker.java:
84)
at
org.jboss.netty.channel.socket.nio.NioClientSocketPipelineSink.<init>(NioClientSocketPipelineSink.java:
74)
at
org.jboss.netty.channel.socket.nio.NioClientSocketChannelFactory.<init>(NioClientSocketChannelFactory.java:
135)
at
org.jboss.netty.channel.socket.nio.NioClientSocketChannelFactory.<init>(NioClientSocketChannelFactory.java:
105)
at
com.stabilit.scm.common.net.req.ConnectionFactory.<init>(ConnectionFactory.java:
54)
at
com.stabilit.scm.common.net.req.ConnectionFactory.<clinit>(ConnectionFactory.java:
42)
at
com.stabilit.scm.common.net.req.ConnectionPool.<init>(ConnectionPool.java:
92)
at com.stabilit.scm.cln.SCClient.<init>(SCClient.java:101)
at com.stabilit.scm.cln.SCClient.<init>(SCClient.java:68)
at
com.stabilit.scm.cln.TestSessionService.main(TestSessionService.java:
25)


====================================================== snapshot #1
thread
index=0,name=main,status=RUNNING,this=java.lang.Thread@0,target=null,priority=5,lockCount=0,suspendCount=0
owned
locks:java.lang.Class@280,java.lang.Class@457,java.lang.Class@883,java.lang.Class@1429,java.lang.Class@1432,java.lang.Class@1435
call stack:
at sun.misc.VM.<clinit>(VM.java:332)
at java.nio.Bits.<clinit>(Bits.java:604)
at java.nio.DirectByteBuffer.<clinit>(DirectByteBuffer.java:30)
at java.nio.ByteBuffer.allocateDirect(ByteBuffer.java:288)
at org.jboss.netty.channel.socket.nio.SocketSendBufferPool
$Preallocation.<init>(SocketSendBufferPool.java:159)
at
org.jboss.netty.channel.socket.nio.SocketSendBufferPool.<init>(SocketSendBufferPool.java:
46)
at org.jboss.netty.channel.socket.nio.NioWorker.<init>(NioWorker.java:
84)
at
org.jboss.netty.channel.socket.nio.NioClientSocketPipelineSink.<init>(NioClientSocketPipelineSink.java:
74)
at
org.jboss.netty.channel.socket.nio.NioClientSocketChannelFactory.<init>(NioClientSocketChannelFactory.java:
135)
at
org.jboss.netty.channel.socket.nio.NioClientSocketChannelFactory.<init>(NioClientSocketChannelFactory.java:
105)
at
com.stabilit.scm.common.net.req.ConnectionFactory.<init>(ConnectionFactory.java:
54)
at
com.stabilit.scm.common.net.req.ConnectionFactory.<clinit>(ConnectionFactory.java:
42)
at
com.stabilit.scm.common.net.req.ConnectionPool.<init>(ConnectionPool.java:
92)
at com.stabilit.scm.cln.SCClient.<init>(SCClient.java:101)
at com.stabilit.scm.cln.SCClient.<init>(SCClient.java:68)
at
com.stabilit.scm.cln.TestSessionService.main(TestSessionService.java:
25)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
"java.lang.UnsatisfiedLinkError: sun.misc.VM.initia..."

====================================================== statistics
elapsed time: 0:00:01
states: new=0, visited=1, backtracked=0, end=0
search: maxDepth=0, constraints=0
choice generators: thread=1, data=0
heap: gc=5, new=1901, free=430
instructions: 176078
max memory: 15MB
loaded code: classes=258, methods=3473


That indicates to me that an error is uncaught in the sun.misc
package. I don't really care if it is right now. What I care about is
that this block me from progressing further down my code. How can I
solve or bypass it??

Thanks in advance.