# Java implementation: long android.view.KeyEvent.getDownTime()
	fun down_time: Int in "Java" `{
		return self.getDownTime();
	`}