char
are encoded on 16-bits whereas Nit's are on 8-bits.
# 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