Bug 41443 overview ruler not working
smoke test for 20030812 The overview ruler in the Java editor does not work when starting with a fresh workspace as described in the smoke test scenario.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
}
			
			if (PreferenceConstants.QUICK_DIFF_CHANGED_COLOR.equals(property)
				||	PreferenceConstants.QUICK_DIFF_ADDED_COLOR.equals(property)
				||	PreferenceConstants.QUICK_DIFF_DELETED_COLOR.equals(property)) {
					
				if (fLineNumberRulerColumn instanceof IChangeRulerColumn)
					initializeChangeRulerColumn((IChangeRulerColumn) fLineNumberRulerColumn);
				else if (fChangeRulerColumn != null)
					initializeChangeRulerColumn(fChangeRulerColumn);
			}
			
			if (isJavaEditorHoverProperty(property))
				updateHoverBehavior();
			
			if (BROWSER_LIKE_LINKS.equals(property)) {
				if (isBrowserLikeLinks())
					enableBrowserLikeLinks();
				else
					disableBrowserLikeLinks();
				return;
			}
			
			if (PreferenceConstants.EDITOR_SYNC_OUTLINE_ON_CURSOR_MOVE.equals(property)) {
				if ((event.getNewValue() instanceof Boolean) && ((Boolean)event.getNewValue()).booleanValue()) {
					fEditorSelectionChangedListener= new EditorSelectionChangedListener();
					fEditorSelectionChangedListener.install(getSelectionProvider());
					fEditorSelectionChangedListener.selectionChanged();
				} else {
					fEditorSelectionChangedListener.uninstall(getSelectionProvider());