Program: 12340
Project: 12340
Buggy source:
/** 
 * Create contents of the window.
 */
protected void createContents(){
  shell=new Shell();
  shell.setSize(1175,592);
  shell.setText("String_Node_Str");
  shell.setLayout(new GridLayout(1,false));
  shell.addListener(SWT.RESIZE,new Listener(){
    @Override public void handleEvent(    Event arg0){
      shell.layout();
    }
  }
);
  final Composite mainArea=new Composite(shell,SWT.NONE);
  mainArea.setLayoutData(new GridData(SWT.FILL,SWT.FILL,true,true));
  mainArea.setLayout(new FormLayout());
{
    final int limit=20;
    final Sash sashLeft=new Sash(mainArea,SWT.VERTICAL);
    Group grpInstances=new Group(mainArea,SWT.NONE);
    grpInstances.setText(translate.instances);
    grpInstances.setLayout(new FillLayout());
    FormData grpInstancesData=new FormData();
{
      grpInstancesData.left=new FormAttachment(0,0);
      grpInstancesData.right=new FormAttachment(sashLeft,0);
      grpInstancesData.top=new FormAttachment(0,0);
      grpInstancesData.bottom=new FormAttachment(100,0);
    }
    grpInstances.setLayoutData(grpInstancesData);
{
      iList=new InstanceList(grpInstances);
      iList.setInstances(MCULogic.loadServerList(defaultUrl));
      grpInstances.pack();
    }
    final FormData sashLeftData=new FormData();
{
      sashLeftData.left=new FormAttachment(20,0);
      sashLeftData.top=new FormAttachment(0,0);
      sashLeftData.bottom=new FormAttachment(100,0);
    }
    sashLeft.setLayoutData(sashLeftData);
    sashLeft.addListener(SWT.Selection,new Listener(){
      @Override public void handleEvent(      Event e){
        Rectangle sashRect=sashLeft.getBounds();
        Rectangle viewRect=mainArea.getClientArea();
        int right=viewRect.width - sashRect.width - limit;
        e.x=Math.max(Math.min(e.x,right),limit);
        if (e.x != sashRect.x) {
          sashLeftData.left=new FormAttachment(0,e.x);
          mainArea.layout();
        }
      }
    }
);
    final TabFolder tabFolder=new TabFolder(mainArea,SWT.NONE);
    final FormData grpTabData=new FormData();
{
      grpTabData.left=new FormAttachment(sashLeft,0);
      grpTabData.right=new FormAttachment(100,0);
      grpTabData.top=new FormAttachment(0,0);
      grpTabData.bottom=new FormAttachment(100,0);
    }
    tabFolder.setLayoutData(grpTabData);
{
      TabItem tbtmNews=new TabItem(tabFolder,SWT.V_SCROLL);
{
        tbtmNews.setText(translate.news);
        browser=new MCUBrowser(tabFolder,SWT.NONE);
        tbtmNews.setControl(browser);
      }
      TabItem tbtmConsole=new TabItem(tabFolder,SWT.NONE);
{
        tbtmConsole.setText(translate.console);
        console=new MCUConsole(tabFolder);
        tbtmConsole.setControl(console);
      }
      TabItem tbtmSettings=new TabItem(tabFolder,SWT.NONE);
{
        tbtmSettings.setText(translate.settings);
        MCUSettings cmpSettings=new MCUSettings(tabFolder);
        tbtmSettings.setControl(cmpSettings);
      }
      TabItem tbtmModules=new TabItem(tabFolder,SWT.NONE);
{
        tbtmModules.setText(translate.modules);
        modules=new MCUModules(tabFolder);
        tbtmModules.setControl(modules);
      }
      TabItem tbtmProgress=new TabItem(tabFolder,SWT.NONE);
{
        tbtmProgress.setText(translate.progress);
        progress=new MCUProgress(tabFolder);
        tbtmProgress.setControl(progress);
      }
    }
  }
  Composite cmpStatus=new Composite(shell,SWT.NONE);
  cmpStatus.setLayoutData(new GridData(SWT.FILL,SWT.BOTTOM,true,false));
{
    cmpStatus.setLayout(new GridLayout(4,false));
    lblStatus=new Label(cmpStatus,SWT.NONE);
    lblStatus.setLayoutData(new GridData(SWT.FILL,SWT.CENTER,true,false,1,1));
    lblStatus.setText("String_Node_Str");
    login=new MCULogin(cmpStatus);
    login.setLayoutData(new GridData(SWT.LEFT,SWT.CENTER,false,false,1,1));
    Button btnUpdate=new Button(cmpStatus,SWT.PUSH);
    btnUpdate.setLayoutData(new GridData(SWT.LEFT,SWT.CENTER,false,false,1,1));
    btnUpdate.setText(translate.update);
    btnUpdate.addSelectionListener(new SelectionListener(){
      @Override public void widgetSelected(      SelectionEvent arg0){
        MCUpdater.getInstance().getInstanceRoot().resolve(selected.getServerId()).toFile().mkdirs();
        final List<Module> selectedMods=new ArrayList<Module>();
        Iterator<ModuleCheckbox> it=modules.getModules().iterator();
        while (it.hasNext()) {
          ModuleCheckbox entry=it.next();
          System.out.println("String_Node_Str" + entry.getModule().getName());
          if (entry.isSelected()) {
            selectedMods.add(entry.getModule());
          }
        }
        final Properties instData=new Properties();
        final Path instanceFile=MCUpdater.getInstance().getInstanceRoot().resolve(selected.getServerId()).resolve("String_Node_Str");
        try {
          if (!instanceFile.toFile().exists()) {
            instanceFile.toFile().createNewFile();
          }
          instData.load(Files.newInputStream(instanceFile));
        }
 catch (        IOException e1) {
          e1.printStackTrace();
        }
        try {
          MCUpdater.getInstance().installMods(selected,selectedMods,false,instData,ModSide.CLIENT);
        }
 catch (        FileNotFoundException e) {
          e.printStackTrace();
        }
      }
      @Override public void widgetDefaultSelected(      SelectionEvent arg0){
        widgetSelected(arg0);
      }
    }
);
    Button btnLaunch=new Button(cmpStatus,SWT.PUSH);
    btnLaunch.setLayoutData(new GridData(SWT.LEFT,SWT.CENTER,false,false,1,1));
    btnLaunch.setText(translate.launchMinecraft);
    btnLaunch.addSelectionListener(new SelectionListener(){
      @Override public void widgetDefaultSelected(      SelectionEvent arg0){
        widgetSelected(arg0);
      }
      @Override public void widgetSelected(      SelectionEvent arg0){
        Profile launchProfile=login.getSelectedProfile();
        if (!(launchProfile == null)) {
          try {
            MCULogic.doLaunch(selected,modules.getModules(),launchProfile);
          }
 catch (          Exception e) {
            e.printStackTrace();
          }
        }
      }
    }
);
  }
}

Fixed version (ground truth):
/** 
 * Create contents of the window.
 */
protected void createContents(){
  shell=new Shell();
  shell.setSize(1175,592);
  shell.setText("String_Node_Str");
  shell.setLayout(new GridLayout(1,false));
  shell.addListener(SWT.RESIZE,new Listener(){
    @Override public void handleEvent(    Event arg0){
      shell.layout();
    }
  }
);
  final Composite mainArea=new Composite(shell,SWT.NONE);
  mainArea.setLayoutData(new GridData(SWT.FILL,SWT.FILL,true,true));
  mainArea.setLayout(new FormLayout());
{
    final int limit=20;
    final Sash sashLeft=new Sash(mainArea,SWT.VERTICAL);
    Group grpInstances=new Group(mainArea,SWT.NONE);
    grpInstances.setText(translate.instances);
    grpInstances.setLayout(new FillLayout());
    FormData grpInstancesData=new FormData();
{
      grpInstancesData.left=new FormAttachment(0,0);
      grpInstancesData.right=new FormAttachment(sashLeft,0);
      grpInstancesData.top=new FormAttachment(0,0);
      grpInstancesData.bottom=new FormAttachment(100,0);
    }
    grpInstances.setLayoutData(grpInstancesData);
{
      iList=new InstanceList(grpInstances);
      grpInstances.pack();
    }
    final FormData sashLeftData=new FormData();
{
      sashLeftData.left=new FormAttachment(20,0);
      sashLeftData.top=new FormAttachment(0,0);
      sashLeftData.bottom=new FormAttachment(100,0);
    }
    sashLeft.setLayoutData(sashLeftData);
    sashLeft.addListener(SWT.Selection,new Listener(){
      @Override public void handleEvent(      Event e){
        Rectangle sashRect=sashLeft.getBounds();
        Rectangle viewRect=mainArea.getClientArea();
        int right=viewRect.width - sashRect.width - limit;
        e.x=Math.max(Math.min(e.x,right),limit);
        if (e.x != sashRect.x) {
          sashLeftData.left=new FormAttachment(0,e.x);
          mainArea.layout();
        }
      }
    }
);
    final TabFolder tabFolder=new TabFolder(mainArea,SWT.NONE);
    final FormData grpTabData=new FormData();
{
      grpTabData.left=new FormAttachment(sashLeft,0);
      grpTabData.right=new FormAttachment(100,0);
      grpTabData.top=new FormAttachment(0,0);
      grpTabData.bottom=new FormAttachment(100,0);
    }
    tabFolder.setLayoutData(grpTabData);
{
      TabItem tbtmNews=new TabItem(tabFolder,SWT.V_SCROLL);
{
        tbtmNews.setText(translate.news);
        browser=new MCUBrowser(tabFolder,SWT.NONE);
        tbtmNews.setControl(browser);
      }
      TabItem tbtmConsole=new TabItem(tabFolder,SWT.NONE);
{
        tbtmConsole.setText(translate.console);
        console=new MCUConsole(tabFolder);
        tbtmConsole.setControl(console);
      }
      TabItem tbtmSettings=new TabItem(tabFolder,SWT.NONE);
{
        tbtmSettings.setText(translate.settings);
        MCUSettings cmpSettings=new MCUSettings(tabFolder);
        tbtmSettings.setControl(cmpSettings);
      }
      TabItem tbtmModules=new TabItem(tabFolder,SWT.NONE);
{
        tbtmModules.setText(translate.modules);
        modules=new MCUModules(tabFolder);
        tbtmModules.setControl(modules);
      }
      TabItem tbtmProgress=new TabItem(tabFolder,SWT.NONE);
{
        tbtmProgress.setText(translate.progress);
        progress=new MCUProgress(tabFolder);
        tbtmProgress.setControl(progress);
      }
    }
  }
  Composite cmpStatus=new Composite(shell,SWT.NONE);
  cmpStatus.setLayoutData(new GridData(SWT.FILL,SWT.BOTTOM,true,false));
{
    cmpStatus.setLayout(new GridLayout(4,false));
    lblStatus=new Label(cmpStatus,SWT.NONE);
    lblStatus.setLayoutData(new GridData(SWT.FILL,SWT.CENTER,true,false,1,1));
    lblStatus.setText("String_Node_Str");
    login=new MCULogin(cmpStatus);
    login.setLayoutData(new GridData(SWT.LEFT,SWT.CENTER,false,false,1,1));
    Button btnUpdate=new Button(cmpStatus,SWT.PUSH);
    btnUpdate.setLayoutData(new GridData(SWT.LEFT,SWT.CENTER,false,false,1,1));
    btnUpdate.setText(translate.update);
    btnUpdate.addSelectionListener(new SelectionListener(){
      @Override public void widgetSelected(      SelectionEvent arg0){
        MCUpdater.getInstance().getInstanceRoot().resolve(selected.getServerId()).toFile().mkdirs();
        final List<Module> selectedMods=new ArrayList<Module>();
        Iterator<ModuleCheckbox> it=modules.getModules().iterator();
        while (it.hasNext()) {
          ModuleCheckbox entry=it.next();
          System.out.println("String_Node_Str" + entry.getModule().getName());
          if (entry.isSelected()) {
            selectedMods.add(entry.getModule());
          }
        }
        final Properties instData=new Properties();
        final Path instanceFile=MCUpdater.getInstance().getInstanceRoot().resolve(selected.getServerId()).resolve("String_Node_Str");
        try {
          if (!instanceFile.toFile().exists()) {
            instanceFile.toFile().createNewFile();
          }
          instData.load(Files.newInputStream(instanceFile));
        }
 catch (        IOException e1) {
          e1.printStackTrace();
        }
        try {
          MCUpdater.getInstance().installMods(selected,selectedMods,false,instData,ModSide.CLIENT);
        }
 catch (        FileNotFoundException e) {
          e.printStackTrace();
        }
      }
      @Override public void widgetDefaultSelected(      SelectionEvent arg0){
        widgetSelected(arg0);
      }
    }
);
    Button btnLaunch=new Button(cmpStatus,SWT.PUSH);
    btnLaunch.setLayoutData(new GridData(SWT.LEFT,SWT.CENTER,false,false,1,1));
    btnLaunch.setText(translate.launchMinecraft);
    btnLaunch.addSelectionListener(new SelectionListener(){
      @Override public void widgetDefaultSelected(      SelectionEvent arg0){
        widgetSelected(arg0);
      }
      @Override public void widgetSelected(      SelectionEvent arg0){
        Profile launchProfile=login.getSelectedProfile();
        if (!(launchProfile == null)) {
          SettingsManager.getInstance().getSettings().setLastProfile(launchProfile.getName());
          SettingsManager.getInstance().getSettings().findProfile(launchProfile.getName()).setLastInstance(selected.getServerId());
          if (!SettingsManager.getInstance().isDirty()) {
            SettingsManager.getInstance().saveSettings();
          }
          try {
            MCULogic.doLaunch(selected,modules.getModules(),launchProfile);
          }
 catch (          Exception e) {
            e.printStackTrace();
          }
        }
      }
    }
);
  }
}