Property definitions

android $ Flag :: receiver_replace_pending
	fun receiver_replace_pending: Int in "Java" `{
		return Intent.FLAG_RECEIVER_REPLACE_PENDING;
	`}
lib/android/intent/intent_api10.nit:625,2--627,3