A generic timer for Android