IKVM & PNET

Guys,

I've been fiddling with IKVM recently and thought what'd happen if I ran
it on PNET 0.6.4.  Although it looks like it very nearly works (the IKVM
program works fine with no Java class files to run), it does cause the
following VerificationException when I pass it the simplest of programs:

Hashtable::hash [4F857] - stloc.0 at verify.c:1034
Uncaught exception: System.Security.VerificationException: Could not
verify the code
	at java.util.Hashtable.put(Object, Object)
	at java.util.Properties.setProperty(String, String)
	at java.lang.VMRuntime.insertSystemProperties(Properties)
	at java.lang.Runtime..cctor()
	at java.lang.System..cctor()
	at Starter.Main(String[])


Having looked at the PNET line causing the exception, it appears as
though during the IL verification process, attempts to validate the
target stack for code offsets that are jump targets fail.

So then, is there any advice about what might be causing this, or where
I  could read up on the PNET verification process?

Cheers,

Mark