JNI patches

[Tom Tromey]

>>>>> "Marcus" == Marcus G Daniels <mgd@swarm.org> writes:

Marcus> Attached are some patches I had to make in order to get my JNI
Marcus> app to work.

Marcus> 2. split local ref table from global ref table.  The handles
Marcus> should be unique as I understand JNI.  The way it is now means
Marcus> that someone can call DeleteGlobalRef on a local ref or
Marcus> vice-versa.

I rewrote this patch (I don't think we ever got paperwork from you)
and I'm going to check it in.  I don't think it is strictly necessary
that we do this, but I think it will make it a little bit easier to
debug JNI programs.  I've also made it so that unmark_for_gc will
crash if you unreference a local too many times -- but only when
libgcj debugging is enabled.

I'll send it to java-patches and check it in sometime today (perhaps a
bit later).

Tom