# Java implementation: java.lang.String android.view.KeyEvent.getCharacters()
	fun characters: JavaString in "Java" `{
		return self.getCharacters();
	`}