viewer.addSelectionChangedListener(new ISelectionChangedListener() { public void selectionChanged(SelectionChangedEvent event) { updateSelectionDependentActions(); } });
	private SourceViewer createEditor(Composite parent) {		SourceViewer viewer= new SourceViewer(parent, null, SWT.BORDER | SWT.V_SCROLL | SWT.H_SCROLL);		JavaTextTools tools= JavaPlugin.getDefault().getJavaTextTools();		viewer.configure(new SimpleJavaSourceViewerConfiguration(tools, null));		viewer.setEditable(true);				IDocument document= new Document();		document.addDocumentListener(new IDocumentListener() {			public void documentAboutToBeChanged(DocumentEvent event) {}			public void documentChanged(DocumentEvent event) {				fInterpolator.interpolate(event.getDocument().get(), fVerifier);				updateButtons();			}		});		viewer.setDocument(document);			Font font= JFaceResources.getFontRegistry().get(JFaceResources.TEXT_FONT);		viewer.getTextWidget().setFont(font);				Control control= viewer.getControl();		GridData data= new GridData(GridData.FILL_BOTH);		data.widthHint= convertWidthInCharsToPixels(60);		data.heightHint= convertHeightInCharsToPixels(5);		control.setLayoutData(data);				return viewer;	}