Program: 78828
Project: 78828
Buggy source:
private void createOptionsPart(Composite parent){
  optionsGroup=new Group(parent,SWT.NULL);
  optionsGroup.setText(LABEL_GROUP_MORE_OPTIONS);
  optionsGroup.setLayout(new GridLayout(2,false));
  optionsGroup.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  createLabel(optionsGroup,LABEL_HELP_TEXT);
  helpTextEditor=new Text(optionsGroup,SWT.BORDER);
  helpTextEditor.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  Label lable=new Label(optionsGroup,SWT.NULL);
  lable.setText(LABEL_FORMAT_AS);
  lable.setLayoutData(new GridData(GridData.HORIZONTAL_ALIGN_BEGINNING));
  Composite formatArea=new Composite(optionsGroup,SWT.NONE);
  formatArea.setLayout(UIUtil.createGridLayoutWithoutMargin(2,false));
  formatArea.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  formatField=new Text(formatArea,SWT.BORDER | SWT.SINGLE | SWT.READ_ONLY);
  formatField.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  changeFormat=new Button(formatArea,SWT.PUSH);
  changeFormat.setText(LABEL_CHANGE_FORMAT_BUTTON);
  setButtonLayoutData(changeFormat);
  changeFormat.addSelectionListener(new SelectionAdapter(){
    public void widgetSelected(    SelectionEvent e){
      popupFormatBuilder(true);
    }
  }
);
  Group preview=new Group(formatArea,SWT.NULL);
  preview.setText(LABEL_PREVIEW_WITH_FORMAT);
  preview.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  preview.setLayout(new GridLayout());
  previewLable=new Label(preview,SWT.CENTER | SWT.HORIZONTAL | SWT.VIRTUAL);
  previewLable.setText("String_Node_Str");
  previewLable.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  createLabel(optionsGroup,LABEL_LIST_LIMIT);
  Composite composite=new Composite(optionsGroup,SWT.NULL);
  composite.setLayout(UIUtil.createGridLayoutWithoutMargin(2,true));
  composite.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  Composite limitArea=new Composite(composite,SWT.NULL);
  limitArea.setLayout(UIUtil.createGridLayoutWithoutMargin(2,true));
  limitArea.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  listLimit=new Text(limitArea,SWT.BORDER);
  listLimit.setLayoutData(new GridData());
  listLimit.addModifyListener(new ModifyListener(){
    private String oldValue="String_Node_Str";
    public void modifyText(    ModifyEvent e){
      try {
        if (!StringUtil.isBlank(listLimit.getText())) {
          Integer.parseInt(listLimit.getText());
          oldValue=listLimit.getText();
        }
      }
 catch (      NumberFormatException e1) {
        ExceptionHandler.openErrorMessageBox(ERROR_TITLE_INVALID_LIST_LIMIT,MessageFormat.format(ERROR_MSG_INVALID_LIST_LIMIT,new Object[]{Integer.toString(Integer.MAX_VALUE)}));
        listLimit.setText(oldValue);
      }
    }
  }
);
  new Label(limitArea,SWT.NONE).setText(LABEL_VALUES);
  allowNull=new Button(composite,SWT.CHECK);
  allowNull.setText(LABEL_ALLOW_NULL_VALUE);
  allowNull.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  allowNull.addSelectionListener(new SelectionAdapter(){
    public void widgetSelected(    SelectionEvent e){
      if (selectedParameter != null && selectedParameter != newParameter) {
        try {
          selectedParameter.setAllowNull(allowNull.getSelection());
        }
 catch (        SemanticException e1) {
          ExceptionHandler.handle(e1);
        }
      }
    }
  }
);
}

Fixed version (ground truth):
private void createOptionsPart(Composite parent){
  optionsGroup=new Group(parent,SWT.NULL);
  optionsGroup.setText(LABEL_GROUP_MORE_OPTIONS);
  optionsGroup.setLayout(new GridLayout(2,false));
  optionsGroup.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  createLabel(optionsGroup,LABEL_HELP_TEXT);
  helpTextEditor=new Text(optionsGroup,SWT.BORDER);
  helpTextEditor.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  Label lable=new Label(optionsGroup,SWT.NULL);
  lable.setText(LABEL_FORMAT_AS);
  lable.setLayoutData(new GridData(GridData.HORIZONTAL_ALIGN_BEGINNING));
  Composite formatArea=new Composite(optionsGroup,SWT.NONE);
  formatArea.setLayout(UIUtil.createGridLayoutWithoutMargin(2,false));
  formatArea.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  formatField=new Text(formatArea,SWT.BORDER | SWT.SINGLE | SWT.READ_ONLY);
  formatField.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  changeFormat=new Button(formatArea,SWT.PUSH);
  changeFormat.setText(LABEL_CHANGE_FORMAT_BUTTON);
  setButtonLayoutData(changeFormat);
  changeFormat.addSelectionListener(new SelectionAdapter(){
    public void widgetSelected(    SelectionEvent e){
      popupFormatBuilder(true);
    }
  }
);
  Group preview=new Group(formatArea,SWT.NULL);
  preview.setText(LABEL_PREVIEW_WITH_FORMAT);
  preview.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  preview.setLayout(new GridLayout());
  previewLable=new Label(preview,SWT.CENTER | SWT.HORIZONTAL | SWT.VIRTUAL);
  previewLable.setText("String_Node_Str");
  previewLable.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  createLabel(optionsGroup,LABEL_LIST_LIMIT);
  Composite composite=new Composite(optionsGroup,SWT.NULL);
  composite.setLayout(UIUtil.createGridLayoutWithoutMargin(2,true));
  composite.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  Composite limitArea=new Composite(composite,SWT.NULL);
  limitArea.setLayout(UIUtil.createGridLayoutWithoutMargin(2,true));
  limitArea.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  listLimit=new Text(limitArea,SWT.BORDER);
  listLimit.setLayoutData(new GridData());
  listLimit.addVerifyListener(new VerifyListener(){
    public void verifyText(    VerifyEvent e){
      e.doit=("String_Node_Str".indexOf(e.character) != -1);
    }
  }
);
  listLimit.addModifyListener(new ModifyListener(){
    private String oldValue="String_Node_Str";
    public void modifyText(    ModifyEvent e){
      try {
        if (!StringUtil.isBlank(listLimit.getText())) {
          Integer.parseInt(listLimit.getText());
          oldValue=listLimit.getText();
        }
      }
 catch (      NumberFormatException e1) {
        ExceptionHandler.openErrorMessageBox(ERROR_TITLE_INVALID_LIST_LIMIT,MessageFormat.format(ERROR_MSG_INVALID_LIST_LIMIT,new Object[]{Integer.toString(Integer.MAX_VALUE)}));
        listLimit.setText(oldValue);
      }
    }
  }
);
  new Label(limitArea,SWT.NONE).setText(LABEL_VALUES);
  allowNull=new Button(composite,SWT.CHECK);
  allowNull.setText(BUTTON_ALLOW_NULL_VALUE);
  allowNull.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
  allowNull.addSelectionListener(new SelectionAdapter(){
    public void widgetSelected(    SelectionEvent e){
      if (selectedParameter != null && selectedParameter != newParameter) {
        try {
          selectedParameter.setAllowNull(allowNull.getSelection());
        }
 catch (        SemanticException e1) {
          ExceptionHandler.handle(e1);
        }
      }
    }
  }
);
}