}
			public void post(IClassFileEditorInput input) {				synchronized(this) {					if (fPosted) {						if (input != null && input.equals(fClassFileEditorInput))							fClassFileEditorInput= input;						return;					}				}				if (input != null && input.equals(getEditorInput())) {					ISourceViewer viewer= getSourceViewer();					if (viewer != null) {						StyledText textWidget= viewer.getTextWidget();						if (textWidget != null && !textWidget.isDisposed()) {							synchronized (this) {								fPosted= true;								fClassFileEditorInput= input;							}							textWidget.getDisplay().asyncExec(this);						}					}				}			}