updateOccurrenceAnnotations();
if (fMarkOccurrenceAnnotations && isActivePart()) SelectionListenerWithASTManager.getDefault().forceSelectionChange(JavaEditor.this, (ITextSelection)getSelectionProvider().getSelection());
		public void shellActivated(ShellEvent e) {			updateOccurrenceAnnotations();		}