Bug 40074 [navigation] Selection reset to previous item when arrowing in outline
build I20030710 - open a Java editor on a class with several methods - in the outline, select the first method - use the arrow key to go down one item - as soon as the delay passes and the new text range is selected, use the arrow key to go down another item - after the delay, the selection is reset back to the previous item
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
/*
		 * @see org.eclipse.jface.viewers.ISelectionChangedListener#selectionChanged(org.eclipse.jface.viewers.SelectionChangedEvent)
		 */
		public void selectionChanged(SelectionChangedEvent event) {
			selectionChanged();
		}
		public void selectionChanged() {
			if (isEditingScriptRunning())
				return;
			
			ISourceReference element= computeHighlightRangeSourceReference();
			synchronizeOutlinePage(element);
			setSelection(element, false);
		}
	}
		
	/**
	 * Updates the selection in the editor's widget with the selection of the outline page. 
	 */
	class OutlineSelectionChangedListener  extends AbstractSelectionChangedListener {