Comment faire pour convertir les secondes dans ce format “HH:mm:ss”

Je veux convertir les secondes/millisecondes dans ce format "HH:mm:ss" (pour esamples, de 5 secondes à 00:00:05). J'ai essayé d'obtenir que le format de cette façon:

int millis = 5000;
SimpleDateFormat df = new SimpleDateFormat("HH:mm:ss");
String time = df.format(millis);

De cette façon, j'obtiens "01:00:05" et non pas "00:00:05". Où ai-je tort?

InformationsquelleAutor Webman | 2012-02-09