@Test
public void testFormatWithMessagePrecisionOverWidth() {

    LogRecord record = new LogRecord(Level.SEVERE, "message");
    record.setThrown(new Throwable("thrown"));
    CompactFormatter cf = new CompactFormatter("%7$#6.12s");
    String result = cf.format(record);
    assertEquals("mes|Throwable", result);
}