fun put_string_array_list(key: JavaString, value: Array[JavaString])
	  import Array[JavaString].length, Array[JavaString].[] in "Java" `{
		ArrayList<String> java_array = new ArrayList<String>((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.putStringArrayList(key, java_array);
	`}