public void clearRequestsFromSTOP(){
  if (requestsFromSTOP != null)   requestsFromSTOP.clear();
  requestsFromSTOP=null;
}

public void clearRequestsFromSTOP ( ) { if ( requestsFromSTOP != null ) requestsFromSTOP . clear ( ) ; requestsFromSTOP = null ; }
discard requests received in stop messages
