Изменение свойства формата java.util.logging.SimpleFormatter в Tomcat

Я использую Tomcat 7.0.28, работающий под OpenJDK 1.7 в Ubuntu, и пытаюсь изменить строку форматирования, используемую java.util.logging.SimpleFormatter. В соответствии с Javadocs для этого класса я могу указать свойство java.util.logging.SimpleFormatter.format для изменения формата. И действительно, когда я запускаю свое веб-приложение в Eclipse и меняю это свойство в файле logging.properties, оно работает.

Однако, когда я развертываю приложение в Tomcat, это свойство, похоже, не имеет никакого эффекта. Я уверен, что мой файл свойств читается правильно, так как другие изменения, которые я в него вношу, действительно вступают в силу. (Я читаю свойства из файла, используя

LogManager.getLogManager().readConfiguration(new FileInputStream(file))

где файл настраивается с помощью параметра в моем файле web.xml. Я попытался поместить файл в WEB -INF/classes/logging.properties, но поведение не изменилось.

В Javadocs для SimpleFormatter указано, что если и файл свойств, и системное свойство задают строку форматирования, системное свойство имеет приоритет. Я проверил, что системное свойство не установлено

context.log ("Formatting system property is " + System.getProperty("java.util.logging.SimpleFormatter.format"));

в методе ServletContextListener.contextInitialized.

Вот мой файл свойств ведения журнала полностью

handlers=java.util.logging.ConsoleHandler

#  Default logging level for root logger
.level=FINE

#  Set the level for the ConsoleHandler
java.util.logging.ConsoleHandler.level=FINE
java.util.logging.ConsoleHandler.formatter=java.util.logging.SimpleFormatter
java.util.logging.SimpleFormatter.format=[%1$tF %1$tr] %3$s %4$s:  %5$s %n

Я пробовал все, что мог придумать, включая изменение logging.properties как в каталоге TOMCAT/conf, так и в каталоге JRE _HOME/lib. Ничто, кажется, не имеет никакого значения.