Patch: FYI: Fix pR java/19742

[Tom Tromey]

I'm checking this in.

This fixes PR java/19742.  We don't want to mangle field names when
generating a JNI header.

Tom

Index: ChangeLog
from  Tom Tromey  <tromey@redhat.com>

	PR java/19742:
	* gjavah.c (get_field_name): Don't override name for JNI header.

Index: gjavah.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/java/gjavah.c,v
retrieving revision 1.127
diff -u -r1.127 gjavah.c
--- gjavah.c 1 Feb 2005 18:38:12 -0000 1.127
+++ gjavah.c 2 Feb 2005 00:41:04 -0000
@@ -706,6 +706,8 @@
       memcpy (override, name, length);
       strcpy (override + length, "__");
     }
+  else if (flag_jni)
+    override = NULL;
   else
     override = cxx_keyword_subst (name, length);