am 1a6dd298: Merge "StateMachine.dump produces no output sometimes." into lmp-mr1-dev

* commit '1a6dd2985ef1eab036f6fc77cf723e3f12832e93':
  StateMachine.dump produces no output sometimes.