Re: [cp-patches] Patch: FYI: non-ascii character fix

[Tom Tromey]

Chris> I think non-ASCII characters should be fine as long as they're
Chris> correctly \u-escaped; is there a policy on this?

Yeah, from hacking.texinfo:

    Java source files in GNU Classpath are encoded using UTF-8.  However,
    ordinarily it is considered best practice to use the ASCII subset of
    UTF-8 and write non-ASCII characters using \u escapes.

In this case the byte in question was not a valid UTF-8-encoded
character.  I just picked the simplest fix; I don't know whether we
would prefer using some fancier form of quotes in javadoc.

Tom