Program: 137962
Project: 137962
Buggy source:
protected ISourceViewer createSourceViewer(final Composite parent,IVerticalRuler ruler,int style){
  parent.setLayout(new FillLayout());
  final Composite myParent=new Composite(parent,SWT.NONE);
  GridLayout layout=new GridLayout();
  layout.marginHeight=layout.marginWidth=layout.horizontalSpacing=layout.verticalSpacing=0;
  myParent.setLayout(layout);
  Composite div1=new Composite(myParent,SWT.NONE);
  GridData lgid=new GridData();
  lgid.grabExcessHorizontalSpace=true;
  lgid.horizontalAlignment=GridData.FILL;
  lgid.heightHint=1;
  lgid.verticalIndent=1;
  div1.setLayoutData(lgid);
  div1.setBackground(editor.getSite().getShell().getDisplay().getSystemColor(SWT.COLOR_WIDGET_NORMAL_SHADOW));
  GridData gid=new GridData();
  gid.grabExcessHorizontalSpace=gid.grabExcessVerticalSpace=true;
  gid.horizontalAlignment=gid.verticalAlignment=GridData.FILL;
  Dictionary dictionary=null;
  if (editor.getSession() != null && _enableContentAssist) {
    dictionary=editor.getSession().getUser().getMetaDataSession().getDictionary();
  }
  sqlTextViewer=new SQLTextViewer(myParent,style,store,dictionary,ruler);
  sqlTextViewer.getControl().setLayoutData(gid);
  Composite div2=new Composite(myParent,SWT.NONE);
  lgid=new GridData();
  lgid.grabExcessHorizontalSpace=true;
  lgid.horizontalAlignment=GridData.FILL;
  lgid.heightHint=1;
  lgid.verticalIndent=0;
  div2.setLayoutData(lgid);
  div2.setBackground(editor.getSite().getShell().getDisplay().getSystemColor(SWT.COLOR_WIDGET_NORMAL_SHADOW));
  final SQLEditor thisEditor=editor;
  sqlTextViewer.getTextWidget().addVerifyKeyListener(new VerifyKeyListener(){
    private ExecSQLAction _execSQLAction=new ExecSQLAction(thisEditor);
    public void verifyKey(    VerifyEvent event){
      if (event.stateMask == SWT.CTRL && event.keyCode == 13) {
        event.doit=false;
        _execSQLAction.run();
      }
    }
  }
);
  sqlTextViewer.getTextWidget().addKeyListener(new KeyAdapter(){
    public void keyPressed(    KeyEvent e){
      SQLTextEditor.this.editor.getEditorSite().getPage().activate(SQLTextEditor.this.editor.getEditorSite().getPart());
    }
  }
);
  myParent.layout();
  IDocument dc=new Document();
  sqlTextViewer.setDocument(dc);
  mcl.install(sqlTextViewer);
  return sqlTextViewer;
}

Fixed version (ground truth):
@Override protected ISourceViewer createSourceViewer(final Composite parent,IVerticalRuler ruler,int style){
  parent.setLayout(new FillLayout());
  final Composite myParent=new Composite(parent,SWT.NONE);
  GridLayout layout=new GridLayout();
  layout.marginHeight=layout.marginWidth=layout.horizontalSpacing=layout.verticalSpacing=0;
  myParent.setLayout(layout);
  Composite div1=new Composite(myParent,SWT.NONE);
  GridData lgid=new GridData();
  lgid.grabExcessHorizontalSpace=true;
  lgid.horizontalAlignment=GridData.FILL;
  lgid.heightHint=1;
  lgid.verticalIndent=1;
  div1.setLayoutData(lgid);
  div1.setBackground(editor.getSite().getShell().getDisplay().getSystemColor(SWT.COLOR_WIDGET_NORMAL_SHADOW));
  GridData gid=new GridData();
  gid.grabExcessHorizontalSpace=gid.grabExcessVerticalSpace=true;
  gid.horizontalAlignment=gid.verticalAlignment=GridData.FILL;
  Dictionary dictionary=null;
  if (editor.getSession() != null && _enableContentAssist) {
    dictionary=editor.getSession().getUser().getMetaDataSession().getDictionary();
  }
  sqlTextViewer=new SQLTextViewer(myParent,style,store,dictionary,ruler);
  sqlTextViewer.getControl().setLayoutData(gid);
  Composite div2=new Composite(myParent,SWT.NONE);
  lgid=new GridData();
  lgid.grabExcessHorizontalSpace=true;
  lgid.horizontalAlignment=GridData.FILL;
  lgid.heightHint=1;
  lgid.verticalIndent=0;
  div2.setLayoutData(lgid);
  div2.setBackground(editor.getSite().getShell().getDisplay().getSystemColor(SWT.COLOR_WIDGET_NORMAL_SHADOW));
  final SQLEditor thisEditor=editor;
  sqlTextViewer.getTextWidget().addVerifyKeyListener(new VerifyKeyListener(){
    private ExecSQLAction _execSQLAction=new ExecSQLAction(thisEditor);
    public void verifyKey(    VerifyEvent event){
      if (event.stateMask == SWT.CTRL && event.keyCode == 13) {
        event.doit=false;
        _execSQLAction.run();
      }
    }
  }
);
  sqlTextViewer.getTextWidget().addKeyListener(new KeyAdapter(){
    @Override public void keyPressed(    KeyEvent e){
      SQLTextEditor.this.editor.getEditorSite().getPage().activate(SQLTextEditor.this.editor.getEditorSite().getPart());
    }
  }
);
  myParent.layout();
  IDocument dc=new Document();
  sqlTextViewer.setDocument(dc);
  mcl.install(sqlTextViewer);
  return sqlTextViewer;
}