Property definitions

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