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

[Andrew Haley]

Ranjit Mathew writes:
 > 
 > If Andrew is OK with the fix, maybe we can check
 > in the fix as well before this test case.

I thought I already okayed it.

Andrew.