Implementation of the Pull-to-Refresh UI Pattern for Android