public static String formatHumanDate(Date date, ISVNOptions options) { DateFormat df = HUMAN_FORMAT; if (options != null && options.getKeywordDateFormat() != null) { df = options.getKeywordDateFormat(); } synchronized (df) { return df.format(date != null ? date : NULL); } }
public static String formatHumanDate(Date date, ISVNOptions options) { DateFormat df = HUMAN_FORMAT; if (options != null && options.getKeywordDateFormat() != null) { df = options.getKeywordDateFormat(); } synchronized (df) { return df.format(date != null ? date : NULL); } }
public static String formatHumanDate(Date date, ISVNOptions options) { DateFormat df = HUMAN_FORMAT; if (options != null && options.getKeywordDateFormat() != null) { df = options.getKeywordDateFormat(); } synchronized (df) { return df.format(date != null ? date : NULL); } }