An Android TextClock widget with a user-defined color