The unit test which fails is SequencerOrderTest. With SEQUENCER.down() synchronized, the test always passes