fun put_char_sequence_array_list(key: JavaString, value: Array[JavaString])
	  import Array[JavaString].length, Array[JavaString].[] in "Java" `{
		ArrayList<CharSequence> java_array =
		  new ArrayList<CharSequence>((int)Array_of_JavaString_length(value));

		for(int i=0; i < java_array.size(); ++i)
			java_array.add(Array_of_JavaString__index(value, i));

		self.putCharSequenceArrayList(key, java_array);
	`}