} else {
if (fNoSourceTextWidget != null) { final IAction copyAction= new Action() { public void run() { fNoSourceTextWidget.copy(); } }; setAction(ITextEditorActionConstants.COPY, copyAction); fNoSourceTextWidget.addSelectionListener(new SelectionListener() { public void widgetSelected(SelectionEvent e) { copyAction.setEnabled(fNoSourceTextWidget.getSelectionText().length() > 0);  } public void widgetDefaultSelected(SelectionEvent e) {  } }); }  } else {
	private void verifyInput(IEditorInput input) throws CoreException {		if (fParent == null || input == null)			return;		IClassFileEditorInput classFileEditorInput= (IClassFileEditorInput) input;		IClassFile file= classFileEditorInput.getClassFile();		// show source attachment form if no source found		if (file.getSourceRange() == null) {			// dispose old source attachment form			if (fSourceAttachmentForm != null)				fSourceAttachmentForm.dispose();			SourceAttachmentForm form= new SourceAttachmentForm(file);			fSourceAttachmentForm= form.createControl(fParent);			fStackLayout.topControl= fSourceAttachmentForm;			fParent.layout();		// show source viewer		} else {			if (fSourceAttachmentForm != null) {				fSourceAttachmentForm.dispose();				fSourceAttachmentForm= null;				fStackLayout.topControl= fViewerComposite;				fParent.layout();			}		}	}