Как преобразовать секунды в этот формат «ЧЧ: мм: сс»

Я хочу преобразовать секунды / миллисекунды в этот формат «ЧЧ: мм: сс» (например, от 5 секунд до 00:00:05). Я пытался получить этот формат следующим образом:

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

Таким образом я получаю «01:00:05», а не «00:00:05». В чем я ошибаюсь?