#fixed code
                             public int mp3Count() {synchronized (lock){
		return mp3Files.size();}
		
	}
#vulnerable code 
                             public int mp3Count() {
		return mp3Files.size();
	} 
                            #location 2 
                            #vulnerability type THREAD_SAFETY_VIOLATION