fun remote_intent_token: JavaString in "Java" `{
		return Intent.EXTRA_REMOTE_INTENT_TOKEN;
	`}