A scheduler for Android