getSourceViewer().setEditable(false);
getSite().setSelectionProvider(mFeatureStructureSelectionProvider);
if (getDocument() != null) {
mShowAnnotationsMenu = new ShowAnnotationsMenu(
getDocumentProvider().getEditorAnnotationStatus(getEditorInput()),
getDocument().getCAS().getTypeSystem(), shownAnnotationTypes);
mShowAnnotationsMenu.addListener(new IShowAnnotationsListener() {
public void selectionChanged(Collection<Type> selection) {