An Android digit clock example