#fixed code
                                public void outputInit() {
        progressLock.lock();
        try {
            summedFileLength = 0;
            fileCount = 0;
        } finally {
            progressLock.unlock();
        }
    }
#vulnerable code 
                                public void outputInit() {
        summedFileLength = 0;
        fileCount = 0;
    } 
                            #location 3 
                            #vulnerability type THREAD_SAFETY_VIOLATION