android :: NativeIntent :: string_extra
fun string_extra(name: JavaString): JavaString in "Java" `{
String return_value = self.getStringExtra(name);
if (return_value == null) return "";
return return_value;
`}
lib/android/intent/intent_api10.nit:214,2--219,3