IDocument doc= JavaPlugin.getDefault().getCompilationUnitDocumentProvider().getDocument(fEditorInput); if (doc != null) { fProposal.apply(doc);
try { ICompilationUnit cu= fCorrectionContext.getCompilationUnit();  IEditorPart part= EditorUtility.isOpenInEditor(cu); if (part == null) { part= EditorUtility.openInEditor(cu); if (part instanceof ITextEditor) { ((ITextEditor) part).selectAndReveal(fCorrectionContext.getOffset(), fCorrectionContext.getLength()); } } if (part != null) { IEditorInput input= part.getEditorInput(); IDocument doc= JavaPlugin.getDefault().getCompilationUnitDocumentProvider().getDocument(input); fProposal.apply(doc); } } catch (CoreException e) { JavaPlugin.log(e);
		public void run(IMarker marker) {			IDocument doc= JavaPlugin.getDefault().getCompilationUnitDocumentProvider().getDocument(fEditorInput);			if (doc != null) {				fProposal.apply(doc);			}		}