from https://github.com/chrisbanes/Android-PullToRefresh.git