Property definitions

android $ NativeIntent :: int_extra
	fun int_extra(name: JavaString, def_value: Int): Int in "Java" `{
		return self.getIntExtra(name, (int)def_value);
	`}
lib/android/intent/intent_api10.nit:163,2--165,3