if(log.isInfoEnabled()) log.info("socket to " + ping_dest + " was reset");
if(log.isDebugEnabled()) log.debug("socket to " + ping_dest + " was reset");
    void handleSocketClose(Exception ex) {        teardownPingSocket();     // make sure we have no leftovers        if(!regular_sock_close) { // only suspect if socket was not closed regularly (by interruptPingerThread())                if(log.isInfoEnabled()) log.info("peer " + ping_dest +                                            " closed socket (" + (ex != null ? ex.getClass().getName() : "eof") + ")");            broadcastSuspectMessage(ping_dest);            pingable_mbrs.removeElement(ping_dest);        }        else {             if(log.isInfoEnabled()) log.info("socket to " + ping_dest + " was reset");            regular_sock_close=false;        }    }