@Test
public void txn_exception_02() {

    Txn.executeWrite(counter, ()->counter.set(8)) ;

    try {
        Txn.executeWrite(counter, () -> {
            counter.inc();
            assertEquals("In W, value()", 8, counter.value());
            assertEquals("In W, get()", 9, counter.get());
            throw new ExceptionFromTest();
        });
    }
    catch (ExceptionFromTest ex) {}
    assertEquals("After W/abort, get()", 8, counter.get());
}