An extension of Android ListView providing the pull-to-refresh feature.