Alan,Last time when Martin and I discussed this issue we agreed that the submitter is right about this. (The "charset" is a mapping between "a sequence of bytes" and a "sequence of sisteen-bit Unicode characters, so the character discussed here should be a utf-16
character...)
http://cr.openjdk.java.net/~sherman/6957230/webrev Thanks, -Sherman
