Bug 81083 [preferences] Mark Occurences enablement not adhered to
I200412142000 - open preference page with Mark Occurences preferences - enable Mark Occurences - Apply - Restore Defaults - OK -> toolbar shows Mark Occurences as 'enabled', editor marks occurences -> on preference page the preference is disabled
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
}
				return;
			}
			
			if (DefaultCodeFormatterConstants.FORMATTER_TAB_SIZE.equals(property)) {
				sourceViewer.getTextWidget().setTabs(getSourceViewerConfiguration().getTabWidth(sourceViewer));
				return;
			}
			
			if (PreferenceConstants.EDITOR_FOLDING_ENABLED.equals(property)) {
				if (sourceViewer instanceof ProjectionViewer) {
					ProjectionViewer pv= (ProjectionViewer) sourceViewer;
					if (pv.isProjectionMode() != isFoldingEnabled()) {
						if (pv.canDoOperation(ProjectionViewer.TOGGLE))
							pv.doOperation(ProjectionViewer.TOGGLE);
					}
				}
				return;
			}
			
		} finally {
			super.handlePreferenceStoreChanged(event);
		}
	}
	
	/**
	 * Initializes the given viewer's colors.
	 * 
	 * @param viewer the viewer to be initialized
	 * @since 3.0