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

Property definitions

android $ NativeBundle :: put_char_array
	# FIXME: Java's `char` are encoded on 16-bits whereas Nit's are on 8-bits.
	fun put_char_array(key: JavaString, value: Array[Char])
	  import Array[Char].length, Array[Char].[] in "Java" `{
		char[] java_array = new char[(int)Array_of_Char_length(value)];

		for(int i=0; i < java_array.length; ++i)
			java_array[i] = (char)Array_of_Char__index(value, i);

		self.putCharArray(key, java_array);
	`}
lib/android/bundle/bundle.nit:146,2--155,3