# Java implementation: int android.view.KeyEvent.getRepeatCount()
	fun repeat_count: Int in "Java" `{
		return self.getRepeatCount();
	`}