Существует довольно простой и (ИМО) элегантный подход, по крайней мере, для продолжительности менее 24 часов:
DateTimeFormatter.ISO_LOCAL_TIME.format(value.addTo(LocalTime.of(0, 0)))
Для форматирования нужен временный объект для форматирования, так что вы можете создать его, добавив продолжительность к LocalTime 00:00 (т.е. полночь). Это даст вам LocalTime, представляющий продолжительность от полуночи до этого времени, которую затем легко отформатировать в стандартной записи HH: mm: ss. Преимуществом этого является отсутствие необходимости во внешней библиотеке, и для выполнения расчетов используется библиотека java.time вместо ручного вычисления часов, минут и секунд.