4243444546474849505152
LogRecord rec; // Check #1. try { formatter.formatMessage(null); h.check(false); } catch (NullPointerException _) { h.check(true);