Я мало знаю о разработке под Android, но быстрый поиск в документации может дать вам ответ:
https://developer.android.com/reference/android/text/format/DateFormat
Методы форматирования в этом классе реализуют подмножествоЮникод UTS # 35 шаблонов. Подмножество, в настоящее время поддерживаемое этим классом, включает следующие символы формата: acdEHhLKkLMmsyz. До уровня API 17 поддерживалась только adEhkMmszy. Обратите внимание, что этот класс неправильно реализует k, как если бы он был H для обратной совместимости.
Unicode UTS # 35 ничего не говорит о миллисекундах: https://unicode.org/reports/tr35/tr35-dates.html#Date_Format_Patterns
Так что кажется, что форматирование миллисекундне поддерживается.
Я бы лучше использовал стандартные классы Java LocalDateTime
и DateTimeFormatter
, которые поддерживают миллисекунды.
https://developer.android.com/reference/java/time/format/DateTimeFormatter.html
[Отредактировано]
Перечитав вопрос, я думаю, проблема в том, что вы используете DateFormat
вместо SimpleDateFormat
. Предоставленная вами ссылка не соответствует фактическому классу, который вы используете в своем коде.