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