layer MissionWrffeMlrsL;
import Jakarta.util.Util;
import java.io.*;
import F.Libraries.log.Log;
// MissionImpl
public refines State_machine BnFseMission {
            // Ignore MFR and stop.
            /*REFINES EDGE no longer supported.  
       Move predicate or body into method, and extend method. 
    Refines Transition wrffeMlrsAccepted1 : wrffeMlrsAccepted -> stop
                condition (message instanceof MfrMessage) do {} */
            // added -- net effect is to have a no-op action
    public void wrffeMlrsAccepted1( Event message ) {}
}
