Property definitions

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