Class Messages.SpecExecutionEndingRequest