Property definitions

android $ NativeIntent :: int_array_extra
	fun int_array_extra(name: JavaString): Array[Int] import Array[Int],
	  Array[Int].push in "Java" `{
		int[] java_array = self.getIntArrayExtra(name);
		NitObject nit_array = new_Array_of_Int();

		for(int i=0; i < java_array.length; ++i)
			Array_of_Int_push(nit_array, java_array[i]);

		return nit_array;
	`}
lib/android/intent/intent_api10.nit:153,2--162,3