Property definitions

android $ NativeIntent :: char_sequence_extra
	fun char_sequence_extra(name: JavaString): JavaString in "Java" `{
		return (String) self.getCharSequenceExtra(name);
	`}
lib/android/intent/intent_api10.nit:109,2--111,3