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;
`}
lib/android/bundle/bundle.nit:258,2--269,3