[java]source location patch

[Tom Tromey]

>>>>> "Zack" == Zack Weinberg <zack@codesourcery.com> writes:

Zack> Looks good to me, but wait 24 hours in case one of the Java
Zack> maintainers has an objection.  (Java patches should be cc:ed to
Zack> java-patches@gcc.gnu.org; I've added them to the list and quoted the
Zack> complete patch for reference.)

I'm sure it is fine.  jv-scan is pretty much handled on an ad hoc
basis: if it continues to function for the cases we need it, it's
probably fine.  Mostly it is used in the test suite.  I don't think
there are many users using it (based on the number of bug reports we
see).

Tom