FIXME: Java's char are encoded on 16-bits whereas Nit's are on 8-bits.

Property definitions

android $ NativeIntent :: add_extra_char
	# FIXME: Java's `char` are encoded on 16-bits whereas Nit's are on 8-bits.
	fun add_extra_char(name: JavaString, value: Char): NativeIntent in "Java" `{
		return self.putExtra(name, value);
	`}
lib/android/intent/intent_api10.nit:238,2--241,3