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