} stop = System.currentTimeMillis();
}
   void handleStateRsp(StateHeader hdr)   {      Digest tmp_digest = hdr.my_digest;      waiting_for_state_response = false;      if (isDigestNeeded())      {         if (tmp_digest == null)         {            if (warn)               log.warn("digest received from " + hdr.sender + " is null, skipping setting digest !");         }         else         {            // set the digest (e.g.in NAKACK)            passDown(new Event(Event.SET_DIGEST, tmp_digest));         }      }      stop = System.currentTimeMillis();      connectToStateProvider(hdr);   }