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