# Java implementation: int android.widget.ListView.getDividerHeight()
	fun get_divider_height: Int in "Java" `{
		return self.getDividerHeight();
	`}