Use ThreadLocal for the short DateFormat