#vulnerable code 
                             FileChannel getWriteChannel() {
		return writeChannel;
	} 
                            #location 2 
                            #vulnerability type THREAD_SAFETY_VIOLATION
#fixed code
                             long getWriteOffset() {
		return writeOffset;
	}