The format for times should either be configurable within saxm2s or set by the user's l10n preferences.
Bug watches keep track of this bug in other bug trackers.