a setter for DateFormat format string