[testdist] Bugfix when using some of the protected nested classes fo ServerStateMachine