# FIXME: Java's `char` are encoded on 16-bits whereas Nit's are on 8-bits.
	fun get_char(key: JavaString): Char in "Java" `{ return (int)self.getChar(key); `}