void destroyFederationExecution ( const FederationExecutionName executionName) // supplied C4 throw ( FederatesCurrentlyJoined, FederationExecutionDoesNotExist, ConcurrentAccessAttempted, SaveInProgress, RestoreInProgress, RTIinternalError);