fun add_extra_array_list_of_int(name: JavaString, value: Array[Int]): NativeIntent
import Array[Int].length, Array[Int].[] in "Java" `{
int length = (int)Array_of_Int_length(value);
ArrayList<Integer> java_array = new ArrayList<Integer>(length);
for (int i=0; i < length; ++i)
java_array.add((int)Array_of_Int__index(value, i));
return self.putExtra(name, java_array);
`}
lib/android/intent/intent_api10.nit:281,2--290,3