842843844845846847848849850851852
if (destinationControl != null) // Should not happen but just in case. { if (commandMessage) destinationControl.incrementServiceCommandCount(); else destinationControl.incrementServiceMessageCount(); } } } }
784785786787788789790791792793794
{ control.incrementServiceCommandCount(); } else { control.incrementServiceMessageCount(); } } } /**