Add complete documentation for DateFormat