Несмотря на то, что в http://<jenkins server>/systemInfo
значение свойства user.timezone
соответствует моему фактическому часовому поясу, у меня все еще есть 12-часовой формат часов.
Я хотел бы иметь формат часов в 24 часа.
Есть ли у кого-нибудь идеи, как это можно изменить в Jenkins?
Спасибо.