[PATCH] Java: miscellaneous patch and java/2333 fix

[Alexandre Petit-Bianco]

Tom Tromey writes:

> FYI if you write `Fixes PR java/2333' here and then use the
> ChangeLog entry as the commit message, the commit message (and
> therefore the patch URLs) will be appended to the PR.

I just did that. Thanks.

./A