docs: protected IDocument getDocument() {
          Assert.isNotNull(editor);
          IDocumentProvider provider = editor.getDocumentProvider();
          return provider.getDocument(editor.getEditorInput());
      }