text: public String formatDate(PersonIdent ident) {switch (format) {case RAW:int offset = ident.getTimeZoneOffset();String sign = offset < 0 ? "-" : "+"; int offset2;if (offset < 0)offset2 = -offset;elseoffset2 = offset;int hours = offset2 / 60;int minutes = offset2 % 60;return String.format("%d %s%02d%02d", ident.getWhen().getTime() / 1000, sign, hours, minutes);case RELATIVE:return RelativeDateFormatter.format(ident.getWhen());case LOCALELOCAL:case LOCAL:dateTimeInstance.setTimeZone(SystemReader.getInstance().getTimeZone());return dateTimeInstance.format(ident.getWhen());case LOCALE:TimeZone tz = ident.getTimeZone();if (tz == null)tz = SystemReader.getInstance().getTimeZone();dateTimeInstance.setTimeZone(tz);dateTimeInstance2.setTimeZone(tz);return dateTimeInstance.format(ident.getWhen()) + " " + dateTimeInstance2.format(ident.getWhen());default:tz = ident.getTimeZone();if (tz == null)tz = SystemReader.getInstance().getTimeZone();dateTimeInstance.setTimeZone(ident.getTimeZone());return dateTimeInstance.format(ident.getWhen());}}