#vulnerable code 
                             public int count() {
		return this.count;
	} 
                            #location 2 
                            #vulnerability type THREAD_SAFETY_VIOLATION
#fixed code
                                public int count() {
        return this.count;
    }