Bug in Character.toString()

[Udo]

It looks like the implementation of Character.toString  (in core.z.js) is buggy. 

Here the current code (pretty printed):

c$.toString = $_M(c$, "toString", function(c) {

    {

        if (this === Charater) {

            return "class java.lang.Charater";

        }

    }

    return String.valueOf(c);

}, "~S");

Look at the spelling of "Charater". It is missing the small "c": Character

This typo occurs twice, once as the reference to the class and in the string literal.

Udo