fun put_integer_array_list(key: JavaString, value: Array[Int])
	  import Array[Int].length, Array[Int].[] in "Java" `{
		ArrayList<Integer> java_array =
			new ArrayList<Integer>((int) Array_of_Int_length(value));

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

		self.putIntegerArrayList(key, java_array);
	`}