fun string_extra(name: JavaString): JavaString in "Java" `{
		String return_value = self.getStringExtra(name);
		if (return_value == null) return "";

		return return_value;
	`}