(Some cleanup in date formatter code.)
(Added some more time zone setting tests.)