fun add_extra_array_list_of_string(name: JavaString, value: Array[JavaString]): NativeIntent
import Array[JavaString].length, Array[JavaString].[] in "Java" `{
int length = (int)Array_of_JavaString_length(value);
ArrayList<String> java_array = new ArrayList<String>(length);
for (int i=0; i < length; ++i) {
java_array.add(Array_of_JavaString__index(value, i));
}
return self.putExtra(name, java_array);
`}
lib/android/intent/intent_api10.nit:333,2--343,3