DashClock: widget per sostituire l'orologio di default nella schermata di sblocco schermo in Android 4.2