#vulnerable code 
                             @Override
	protected void reloadPage() {
		highlightFieldLeft = null;
		selectedHighlight = null;
		super.reloadPage();
	} 
                            #location 3 
                            #vulnerability type THREAD_SAFETY_VIOLATION
#fixed code
                             @Override
	protected void reloadPage() {
		synchronized (this) {
			highlightFieldLeft = null;
			selectedHighlight = null;
			super.reloadPage();
		}
	}