Property definitions

android $ NativeIntent :: add_extra_int
	fun add_extra_int(name: JavaString, value: Int): NativeIntent in "Java" `{
		return self.putExtra(name, value);
	`}
lib/android/intent/intent_api10.nit:269,2--271,3