an app demonstrating a bug in Android's SwipeRefreshLayout implementation