# FIXME: Java's `char` are encoded on 16-bits whereas Nit's are on 8-bits.
	fun char_array_extra(name: JavaString): Array[Char] import Array[Char],
	  Array[Char].add in "Java" `{
		char[] java_array = self.getCharArrayExtra(name);
		NitObject nit_array = new_Array_of_Char();

		for (int i = 0; i < java_array.length; ++i)
			Array_of_Char_add(nit_array, java_array[i]);

		return nit_array;
	`}