#fixed code
                                @Override
    public void handleRetransmissionTimout() {
        if(!timeoutNotificationTimes.add(System.currentTimeMillis())){
            log.error("Could not add notification time for retransmission timeout.");
        }
    }
#vulnerable code 
                                @Override
    public void handleRetransmissionTimout() {
        if(receiveEnabled && !timeoutNotificationTimes.add(System.currentTimeMillis())){
            log.error("Could not add notification time for retransmission timeout.");
        }
    } 
                            #location 3 
                            #vulnerability type THREAD_SAFETY_VIOLATION