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