Property definitions

android $ Extra :: replacing
	fun replacing: JavaString in "Java" `{ return Intent.EXTRA_REPLACING; `}
lib/android/intent/intent_api10.nit:545,2--73