fun get_integer_array_list(key: JavaString): Array[Int]
		import Array[Int], Array[Int].add in "Java" `{
		ArrayList<Integer> java_array = self.getIntegerArrayList(key);
		NitObject nit_array = new_Array_of_Int();

		if (java_array == null) return nit_array;

		for (int element: java_array)
			Array_of_Int_add(nit_array, element);

		return nit_array;
	`}