[PATCH] Java: mangling of unicode characters.

[Jason Merrill]

>>>>> "Alexandre" == Alexandre Petit-Bianco <apbianco@cygnus.com> writes:

> +/* Assuming (NAME, LEN) is a Utf8-encoding string, emit the string
> +   appropriately mangled (with Unicode escapes) to MANGLE_OBSTACK.
> +   Characters needing an escape are encoded `__UNN_' to `__UNNNN_', in
> +   which case `__U' will be mangled `__U55_'.

Sorry, I was confused when I suggested that; that encoding would mean 'U',
not '__U'.  How does just '__U_' seem?  That would otherwise mean NUL,
which is not valid here.

Thanks,
Jason