JNI issues

[Tom Tromey]

>>>>> "Martin" == Martin Kahlert <martin.kahlert@infineon.com> writes:

Martin> Is this the right thing to do?

It is pretty good.

There are some coding style problems in the patch.

Also, before I can apply it I need the appropriate paperwork from you.
It will take me a while to dig this up, as the FSF changed their
procedures.

Martin> I used this patch to avoid a segfault in
Martin> java::lang::System::init_properties:

I'd be suprised if the invocation API works for you, even with this
change.

Tom