Added more robust abstract DateFormat option.