fun get_short_array(key: JavaString): Array[Int]
import Array[Int], Array[Int].add in "Java" `{
short[] java_array = self.getShortArray(key);
NitObject nit_array = new_Array_of_Int();
if (java_array == null) return nit_array;
for(int i=0; i < java_array.length; ++i)
Array_of_Int_add(nit_array, java_array[i]);
return nit_array;
`}
lib/android/bundle/bundle.nit:318,2--329,3