#vulnerable code 
                             public void readExternal(ObjectInput in) throws IOException,
			ClassNotFoundException {
		super.readExternal(in);
		fragmenter = External.readObject(in);
		tag = External.readUTF(in);
		maxDocChar = in.readInt();
		separator = External.readUTF(in);
		maxSnippetSize = in.readInt();
		maxSnippetNumber = in.readInt();
		int l = in.readInt();
		if (l > 0) {
			searchTerms = new String[l];
			External.readArray(in, searchTerms);
		} else
			searchTerms = null;
	} 
                            #location 13 
                            #vulnerability type THREAD_SAFETY_VIOLATION
#fixed code
                             public void readExternal(ObjectInput in) throws IOException,
			ClassNotFoundException {
		super.readExternal(in);
		fragmenter = External.readObject(in);
		tag = External.readUTF(in);
		maxDocChar = in.readInt();
		separator = External.readUTF(in);
		maxSnippetSize = in.readInt();
		maxSnippetNumber = in.readInt();
		searchTerms = External.readStringArray(in);
	}