dateFormat top-level property
DateFormat
dateFormat
getter/setter pair
Implementation
DateFormat dateFormat = DateFormat(shortPattern);
DateFormat dateFormat = DateFormat(shortPattern);