Bug 53869 [EditorMgmt] Blank outliner when opening/switching to editor
Build 20040303 - multiple windows No exact steps sorry. The problem is that sometimes when opening an editor (ctrl-shift-T) or switching to an existing one will bring it to front, but the outliner doesn't refresh properly. It remains blank. Usually, closing the editor and reopening will make the outline show up after a few attempts.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
* {@inheritDoc}
		 */
		public void setValue(String name, boolean value) {
			throw new UnsupportedOperationException();
		}
		/**
		 * Returns the adapted options Map.
		 * 
		 * @return Returns the adapted options Map.
		 */
		public Map getOptions() {
			return fOptions;
		}
		/**
		 * Returns the mockup preference store, events are received through this preference store.
		 * @return Returns the mockup preference store.
		 */
		public IPreferenceStore getMockupPreferenceStore() {
			return fMockupPreferenceStore;
		}
		/**
		 * Set the event filter to the given filter.
		 * 
		 * @param filter The new filter.
		 */
		public void setFilter(IPropertyChangeEventFilter filter) {
			fFilter= filter;
		}
		
		/**