__CLOVER_71_0.S[12260]++;if ((((service != null) && (++__CLOVER_71_0.CT[2100] != 0)) || (++__CLOVER_71_0.CF[2100] == 0))){
__CLOVER_71_0.S[12261]++;monitor.serviceEnd(service.getName());}
__CLOVER_71_0.S[12262]++;try
{
__CLOVER_71_0.S[12263]++;cycle.cleanup();
// Closing the buffered output closes the underlying stream as
// well.
__CLOVER_71_0.S[12264]++;if ((((output != null) && (++__CLOVER_71_0.CT[2101] != 0)) || (++__CLOVER_71_0.CF[2101] == 0))){