fOverrideIndicatorManager.reconciled(ast, true, monitor);
if (fOverrideIndicatorManager != null) fOverrideIndicatorManager.reconciled(ast, true, monitor);
	protected void installOverrideIndicator(boolean provideAST) {		uninstallOverrideIndicator();		IAnnotationModel model= getDocumentProvider().getAnnotationModel(getEditorInput());		final IJavaElement inputElement= getInputJavaElement();		if (model == null || inputElement == null)			return;		fOverrideIndicatorManager= new OverrideIndicatorManager(model, inputElement, null);				if (provideAST) {			Job job= new Job("Override indicator installation job") {				/*				 * @see org.eclipse.core.runtime.jobs.Job#run(org.eclipse.core.runtime.IProgressMonitor)				 * @since 3.0				 */				protected IStatus run(IProgressMonitor monitor) {					CompilationUnit ast= JavaPlugin.getDefault().getASTProvider().getAST(inputElement, true, null);					fOverrideIndicatorManager.reconciled(ast, true, monitor);					return Status.OK_STATUS;				}			};			job.setPriority(Job.DECORATE);			job.setSystem(true);			job.schedule();		}	}