DateFormat () { String definition = FilterSettings.dateFormat; if (definition != null) { try { return new SimpleDateFormat(definition); } catch (Exception ex) { // return the basic format } } return DateFormat.getDateInstance(DateFormat.SHORT); }