Should the TCK restart the SLEE between tests?
The JAIN SLEE TCK can optionally restart the SLEE between tests, i.e. call SleeManagementMBean.stop() then start().
This option is useful for detecting tests which leave the SLEE in an unstoppable state (e.g. by leaving unended activities in the SLEE).