# Java implementation:  android.widget.ListView.setDividerHeight(int)
	fun set_divider_height(arg0: Int) in "Java" `{
		self.setDividerHeight((int)arg0);
	`}