24 hour time format on Windows

[atollk]

Hi,
as suggested here, the change proposed there might be worth to be included here as well. A windows system we encountered provides the "last modified" time in 24-hour format, i.e. "16:24" instead of "04:24PM".