# FIXME: Java's `char` are encoded on 16-bits whereas Nit's are on 8-bits.
	fun put_char(key: JavaString, value: Char) in "Java" `{
		self.putChar(key, (char)value);
	`}