# Java implementation:  android.widget.AbsListView.setSelector(int)
	fun set_selector_int(arg0: Int) in "Java" `{
		self.setSelector((int)arg0);
	`}