Use a single DateFormat per thread and format.

DateFormat is not thread-safe, and creating a new instance every time we
need one only wastes CPU time.  Make sure that there's a single instance
per thread and format that the thread can use whenever it wants.