[java patch]: Patch ping

[Andrew Haley]

Tom Tromey writes:
 > >>>>> "Nathan" == Nathan Sidwell <nathan@codesourcery.com> writes:
 > 
 > Nathan> I've recieved no comment about my patch to the java front end
 > Nathan> http://gcc.gnu.org/ml/gcc-patches/2003-05/msg00805.html
 > 
 > Did you ever get a response to this?
 > It looks fine to me, but Andrew, Per, or a global maintainer would
 > have to approve it.

Sorry I missed it.  Yes, this looks like a good improvement.  Please
check it in.

Andrew.