fun activity_reorder_to_front: Int in "Java" `{
		return Intent.FLAG_ACTIVITY_REORDER_TO_FRONT;
	`}