[PATCH] Fix for PR java/9577: Name Mangling Error

[Tom Tromey]

>>>>> "Ranjit" == Ranjit Mathew <rmathew@hotmail.com> writes:

Ranjit> If you check it in as is, without checking in the
Ranjit> corresponding fix, you'll have to XFAIL it and
Ranjit> remove this when the fix is later checked in.

I checked in the fix and the test.

Tom