File newSession() throws UnableToObtainFileException;
}
public interface OutputConverter {
String convert(Level level, Throwable throwable, String tag, String message);
class DefaultOutputConverter implements OutputConverter {
<BUG>private static final String PATTERN = "%s  %s  %s/%s: %s";
private final DateFormat dateFormat;
{
dateFormat = DateFormat.getDateTimeInstance(
DateFormat.SHORT,
DateFormat.MEDIUM
);</BUG>
}

File newSession() throws UnableToObtainFileException;
}
public interface OutputConverter {
String convert(Level level, Throwable throwable, String tag, String message);
class DefaultOutputConverter implements OutputConverter {
private static final String PATTERN = "%s  %s  %s/%s: %s";
private static final String DATE_PATTERN = "dd-MM HH:mm:ss.SSS";
private final DateFormat dateFormat;
{
dateFormat = new SimpleDateFormat(DATE_PATTERN, Locale.US);
}
