setter for a DateFormat format string