dateWithShortNames property
DateFormat
dateWithShortNames
getter/setter pair
Implementation
static DateFormat dateWithShortNames = DateFormat("EE dd. MMM yyyy");
static DateFormat dateWithShortNames = DateFormat("EE dd. MMM yyyy");