fun activity_previous_is_top: Int in "Java" `{
		return Intent.FLAG_ACTIVITY_PREVIOUS_IS_TOP;
	`}