Program: 135867
Project: 135867
Buggy source:
private void raiseWindow(){
  if ((windowShell != null) && (!windowShell.isDisposed())) {
    location=windowShell.getLocation();
    windowShell.close();
    windowShell.dispose();
  }
  Shell topshell=UIHelper.getShellProvider().getShell();
  windowShell=new Shell(topshell,SWT.CLOSE | SWT.TITLE | SWT.RESIZE);
  windowShell.setText("String_Node_Str");
  windowShell.addDisposeListener(new WindowDisposeListener(this));
  Composite shell=new Composite(windowShell,SWT.NONE);
  GridLayout gridLayout=new GridLayout(3,false);
  shell.setLayout(gridLayout);
  Composite topMenu=new Composite(shell,SWT.NONE);
  gridLayout=new GridLayout(4,false);
  gridLayout.marginBottom=0;
  topMenu.setLayout(gridLayout);
  GridData gridData=new GridData();
  gridData.horizontalSpan=3;
  topMenu.setLayoutData(gridData);
  Button replaceButton=new Button(topMenu,SWT.PUSH);
  setupMenuButton(replaceButton,PROVE_BUTTON,"String_Node_Str");
  replaceButton.setFont(JFaceResources.getFontRegistry().get(JFaceResources.HEADER_FONT));
  replaceButton.setEnabled(hasChanged && (chosenSplit == -1) && (andSplitEnd == -1));
  useSufficesButton=new Button(topMenu,SWT.CHECK);
  setupCheckButton(useSufficesButton,"String_Node_Str");
  useSufficesButton.setSelection(useSufficesValue);
  subexpressionButton=new Button(topMenu,SWT.CHECK);
  setupCheckButton(subexpressionButton,"String_Node_Str");
  subexpressionButton.setSelection(subexpressionValue);
  gridData=new GridData();
  gridData.horizontalAlignment=GridData.FILL;
  gridData.grabExcessHorizontalSpace=true;
  subexpressionButton.setLayoutData(gridData);
  Button helpButton=HelpButton.helpButton(topMenu,"String_Node_Str");
  gridData=new GridData();
  gridData.horizontalIndent=20;
  helpButton.setLayoutData(gridData);
  gridData=new GridData();
  gridData.horizontalSpan=3;
  Label assumeLabel=new Label(shell,SWT.NONE);
  assumeLabel.setText("String_Node_Str");
  assumeLabel.setFont(JFaceResources.getFontRegistry().get(JFaceResources.HEADER_FONT));
  assumeLabel.setLayoutData(gridData);
  if (assumeReps != null) {
    addAssumptionsToComposite(assumeReps,shell);
  }
  gridData=new GridData();
  gridData.horizontalSpan=3;
  assumeLabel=new Label(shell,SWT.NONE);
  assumeLabel.setLayoutData(gridData);
  assumeLabel.setText("String_Node_Str");
  assumeLabel.setFont(JFaceResources.getFontRegistry().get(JFaceResources.HEADER_FONT));
  String labelText=null;
  boolean isProver=false;
  boolean disable=false;
switch (goalRep.nodeSubtype) {
case NodeRepresentation.AND_TYPE:
    labelText="String_Node_Str";
  isProver=true;
disable=(chosenSplit != -1) || (andSplitBegin != -1);
break;
case NodeRepresentation.FORALL_TYPE:
labelText="String_Node_Str";
break;
case NodeRepresentation.IMPLIES_TYPE:
labelText="String_Node_Str";
break;
default :
labelText=null;
}
if (labelText != null) {
Button goalButton=new Button(shell,SWT.PUSH);
setupActionButton(goalButton,goalRep,labelText);
goalButton.setEnabled(!disable);
}
 else {
assumeLabel=new Label(shell,SWT.NONE);
assumeLabel.setText("String_Node_Str");
}
Composite comp;
comp=new Composite(shell,SWT.NONE);
gridLayout=new GridLayout(1,false);
comp.setLayout(gridLayout);
if (isProver && !disable) {
assumeLabel=new Label(comp,SWT.NONE);
assumeLabel.setText("String_Node_Str");
assumeLabel.setFont(JFaceResources.getFontRegistry().get(JFaceResources.HEADER_FONT));
}
comp.setSize(0,5);
assumeLabel=new Label(shell,SWT.NONE);
assumeLabel.setText(stringArrayToString(goalRep.primedNodeText()));
gridData=new GridData();
gridData.verticalAlignment=SWT.TOP;
assumeLabel.setLayoutData(gridData);
assumeLabel.setFont(JFaceResources.getFontRegistry().get(JFaceResources.TEXT_FONT));
shell.pack();
Point shellSize=shell.getSize();
windowShell.pack();
Point windowShellSize=windowShell.getSize();
System.out.println("String_Node_Str" + windowShellSize.x + "String_Node_Str"+ windowShellSize.y);
;
windowShell.update();
if (this.location != null) {
windowShell.setLocation(this.location);
}
windowShell.open();
editorIFile.setReadOnly(true);
}

Fixed version (ground truth):
private void raiseWindow(){
  if ((windowShell != null) && (!windowShell.isDisposed())) {
    location=windowShell.getLocation();
    windowShell.close();
    windowShell.dispose();
  }
  Shell topshell=UIHelper.getShellProvider().getShell();
  windowShell=new Shell(topshell,SWT.CLOSE | SWT.TITLE | SWT.RESIZE);
  windowShell.setText("String_Node_Str");
  windowShell.addDisposeListener(new WindowDisposeListener(this));
  Composite shell=new Composite(windowShell,SWT.NONE);
  GridLayout gridLayout=new GridLayout(3,false);
  shell.setLayout(gridLayout);
  Composite topMenu=new Composite(shell,SWT.NONE);
  gridLayout=new GridLayout(5,false);
  gridLayout.marginBottom=0;
  topMenu.setLayout(gridLayout);
  GridData gridData=new GridData();
  gridData.horizontalSpan=3;
  topMenu.setLayoutData(gridData);
  Button replaceButton=new Button(topMenu,SWT.PUSH);
  setupMenuButton(replaceButton,PROVE_BUTTON,"String_Node_Str");
  replaceButton.setFont(JFaceResources.getFontRegistry().get(JFaceResources.HEADER_FONT));
  replaceButton.setEnabled(hasChanged && (chosenSplit == -1) && (andSplitEnd == -1));
  useSufficesButton=new Button(topMenu,SWT.CHECK);
  setupCheckButton(useSufficesButton,"String_Node_Str");
  useSufficesButton.setSelection(useSufficesValue);
  useCaseButton=new Button(topMenu,SWT.CHECK);
  setupCheckButton(useCaseButton,"String_Node_Str");
  useCaseButton.setSelection(useCaseValue);
  subexpressionButton=new Button(topMenu,SWT.CHECK);
  setupCheckButton(subexpressionButton,"String_Node_Str");
  subexpressionButton.setSelection(subexpressionValue);
  gridData=new GridData();
  gridData.horizontalAlignment=GridData.FILL;
  gridData.grabExcessHorizontalSpace=true;
  subexpressionButton.setLayoutData(gridData);
  Button helpButton=HelpButton.helpButton(topMenu,"String_Node_Str");
  gridData=new GridData();
  gridData.horizontalIndent=20;
  helpButton.setLayoutData(gridData);
  gridData=new GridData();
  gridData.horizontalSpan=3;
  Label assumeLabel=new Label(shell,SWT.NONE);
  assumeLabel.setText("String_Node_Str");
  assumeLabel.setFont(JFaceResources.getFontRegistry().get(JFaceResources.HEADER_FONT));
  assumeLabel.setLayoutData(gridData);
  if (assumeReps != null) {
    addAssumptionsToComposite(assumeReps,shell);
  }
  gridData=new GridData();
  gridData.horizontalSpan=3;
  assumeLabel=new Label(shell,SWT.NONE);
  assumeLabel.setLayoutData(gridData);
  assumeLabel.setText("String_Node_Str");
  assumeLabel.setFont(JFaceResources.getFontRegistry().get(JFaceResources.HEADER_FONT));
  String labelText=null;
  boolean isProver=false;
  boolean disable=false;
switch (goalRep.nodeSubtype) {
case NodeRepresentation.AND_TYPE:
    labelText="String_Node_Str";
  isProver=true;
disable=(chosenSplit != -1) || (andSplitBegin != -1);
break;
case NodeRepresentation.FORALL_TYPE:
labelText="String_Node_Str";
break;
case NodeRepresentation.IMPLIES_TYPE:
labelText="String_Node_Str";
break;
default :
labelText=null;
}
if (labelText != null) {
Button goalButton=new Button(shell,SWT.PUSH);
setupActionButton(goalButton,goalRep,labelText);
goalButton.setEnabled(!disable);
}
 else {
assumeLabel=new Label(shell,SWT.NONE);
assumeLabel.setText("String_Node_Str");
}
Composite comp;
comp=new Composite(shell,SWT.NONE);
gridLayout=new GridLayout(1,false);
comp.setLayout(gridLayout);
if (isProver && !disable) {
assumeLabel=new Label(comp,SWT.NONE);
assumeLabel.setText("String_Node_Str");
assumeLabel.setFont(JFaceResources.getFontRegistry().get(JFaceResources.HEADER_FONT));
}
comp.setSize(0,5);
assumeLabel=new Label(shell,SWT.NONE);
assumeLabel.setText(stringArrayToString(goalRep.primedNodeText()));
gridData=new GridData();
gridData.verticalAlignment=SWT.TOP;
assumeLabel.setLayoutData(gridData);
assumeLabel.setFont(JFaceResources.getFontRegistry().get(JFaceResources.TEXT_FONT));
shell.pack();
Point shellSize=shell.getSize();
windowShell.pack();
Point windowShellSize=windowShell.getSize();
System.out.println("String_Node_Str" + windowShellSize.x + "String_Node_Str"+ windowShellSize.y);
;
windowShell.update();
if (this.location != null) {
windowShell.setLocation(this.location);
}
windowShell.open();
editorIFile.setReadOnly(true);
}