java.util.logging.SimpleFormatter.format для миллисекунд

Question

Я использую JUL для ведения журнала, у меня есть файл свойств. Я хочу записать datetime в миллисекундах в файл журнала.

Это моя собственность:

java.util.logging.SimpleFormatter.format=%1$tb %1$td, %1$tY %1$tl:%1$tM:%1$tS %1$Tp %2$s%n%4$s: %5$s%n 

Выше журналов что-то вроде этого:

Dec 05, 2016 5:08:06 PM ... 

Как я могу также показать миллисекунду?

Answer 1

https://docs.oracle.com/javase/8/docs/api/java/util/Formatter.html показывает все возможные варианты форматирования, которые также используются SimpleFormatter.

Так что в вашем случае это %1$tL за миллисекунды.

Answer 2

Использование %1$tL:

java.util.logging.SimpleFormatter.format=%1$tb %1$td, %1$tY %1$tl:%1$tM:%1$tS.%1$tL %1$Tp %2$s%n%4$s: %5$s%n 
                       ^^^ 

я на основе этого ответа выключения this SO question.