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
ImplementOccurrencesFinder finder= new ImplementOccurrencesFinder();
			String message= finder.initialize(astRoot, selection.getOffset(), selection.getLength());
			if (message == null) {
				matches= finder.perform();
				if (!fMarkImplementors && !matches.isEmpty())
					matches.clear();
			}
		}
		
		if (matches == null) {
			ASTNode node= NodeFinder.perform(astRoot, selection.getOffset(), selection.getLength());
			IBinding binding= null;
			if (node instanceof Name)
				binding= ((Name)node).resolveBinding();
			if (binding != null && markOccurrencesOfType(binding)) {
				
				OccurrencesFinder finder = new OccurrencesFinder(binding);
				String message= finder.initialize(astRoot, selection.getOffset(), selection.getLength());
				if (message == null)
					matches= finder.perform();
			}
		}
		
		if (matches == null || matches.size() == 0) {
			if (!fStickyOccurrenceAnnotations)
				removeOccurrenceAnnotations();
			return;
		}
		
		Position[] positions= new Position[matches.size()];