Program: 138154
Project: 138154
Buggy source:
private void initializationMonitor(){
  pageFirstImgHypLnk.addMouseListener(new org.eclipse.swt.events.MouseAdapter(){
    @Override public void mouseUp(    MouseEvent e){
      if (currentPage != 1) {
        loadPageTempIndicator(1);
        currentPage=1;
        tree.dispose();
        buttomComp.dispose();
        if (IndicatorSelectDialog.this.parent != null) {
          initializationTree(IndicatorSelectDialog.this.parent);
          IndicatorSelectDialog.this.parent.layout();
        }
        pageFirstImgHypLnk.setEnabled(false);
        pagePreviouseImgHypLnk.setEnabled(false);
        pageNextImgHypLnk.setEnabled(true);
        pageLastImgHypLnk.setEnabled(true);
        okButton.setEnabled(false);
        pageGoTo.select(currentPage - 1);
      }
    }
  }
);
  pagePreviouseImgHypLnk.addMouseListener(new org.eclipse.swt.events.MouseAdapter(){
    @Override public void mouseUp(    MouseEvent e){
      if (currentPage > 1) {
        currentPage--;
        tree.dispose();
        buttomComp.dispose();
        if (IndicatorSelectDialog.this.parent != null) {
          initializationTree(IndicatorSelectDialog.this.parent);
          IndicatorSelectDialog.this.parent.layout();
        }
        pageNextImgHypLnk.setEnabled(true);
        pageLastImgHypLnk.setEnabled(true);
        okButton.setEnabled(false);
        if (currentPage <= 1) {
          pageFirstImgHypLnk.setEnabled(false);
          pagePreviouseImgHypLnk.setEnabled(false);
        }
        pageGoTo.select(currentPage - 1);
      }
    }
  }
);
  pageNextImgHypLnk.addMouseListener(new org.eclipse.swt.events.MouseAdapter(){
    @Override public void mouseUp(    MouseEvent e){
      if (currentPage < totalPages) {
        currentPage++;
        tree.dispose();
        buttomComp.dispose();
        if (IndicatorSelectDialog.this.parent != null) {
          initializationTree(IndicatorSelectDialog.this.parent);
          IndicatorSelectDialog.this.parent.layout();
        }
        pageFirstImgHypLnk.setEnabled(true);
        pagePreviouseImgHypLnk.setEnabled(true);
        if (currentPage >= totalPages) {
          okButton.setEnabled(true);
          pageNextImgHypLnk.setEnabled(false);
          pageLastImgHypLnk.setEnabled(false);
        }
        pageGoTo.select(currentPage - 1);
      }
    }
  }
);
  pageLastImgHypLnk.addMouseListener(new org.eclipse.swt.events.MouseAdapter(){
    @Override public void mouseUp(    MouseEvent e){
      if (currentPage != totalPages) {
        loadPageTempIndicator(totalPages);
        currentPage=totalPages;
        tree.dispose();
        buttomComp.dispose();
        if (IndicatorSelectDialog.this.parent != null) {
          initializationTree(IndicatorSelectDialog.this.parent);
          IndicatorSelectDialog.this.parent.layout();
        }
        pageFirstImgHypLnk.setEnabled(true);
        pagePreviouseImgHypLnk.setEnabled(true);
        pageNextImgHypLnk.setEnabled(false);
        pageLastImgHypLnk.setEnabled(false);
        okButton.setEnabled(true);
        pageGoTo.select(currentPage - 1);
      }
    }
  }
);
  pageGoTo.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      int toPage=pageGoTo.getSelectionIndex() + 1;
      loadPageTempIndicator(toPage);
      currentPage=toPage;
      tree.dispose();
      buttomComp.dispose();
      if (IndicatorSelectDialog.this.parent != null) {
        initializationTree(IndicatorSelectDialog.this.parent);
        IndicatorSelectDialog.this.parent.layout();
      }
      if (currentPage == 1) {
        pageFirstImgHypLnk.setEnabled(false);
        pagePreviouseImgHypLnk.setEnabled(false);
        pageNextImgHypLnk.setEnabled(true);
        pageLastImgHypLnk.setEnabled(true);
        okButton.setEnabled(false);
      }
 else       if (currentPage == totalPages) {
        pageFirstImgHypLnk.setEnabled(true);
        pagePreviouseImgHypLnk.setEnabled(true);
        pageNextImgHypLnk.setEnabled(false);
        pageLastImgHypLnk.setEnabled(false);
        okButton.setEnabled(true);
      }
 else {
        pageFirstImgHypLnk.setEnabled(true);
        pagePreviouseImgHypLnk.setEnabled(true);
        pageNextImgHypLnk.setEnabled(true);
        pageLastImgHypLnk.setEnabled(true);
        okButton.setEnabled(false);
      }
    }
  }
);
}

Fixed version (ground truth):
private void initializationMonitor(){
  pageFirstImgHypLnk.addMouseListener(new org.eclipse.swt.events.MouseAdapter(){
    @Override public void mouseUp(    MouseEvent e){
      if (currentPage != 1) {
        currentPage=1;
        tree.dispose();
        buttomComp.dispose();
        if (IndicatorSelectDialog.this.parent != null) {
          initializationTree(IndicatorSelectDialog.this.parent);
          IndicatorSelectDialog.this.parent.layout();
        }
        pageFirstImgHypLnk.setEnabled(false);
        pagePreviouseImgHypLnk.setEnabled(false);
        pageNextImgHypLnk.setEnabled(true);
        pageLastImgHypLnk.setEnabled(true);
        okButton.setEnabled(false);
        pageGoTo.select(currentPage - 1);
      }
    }
  }
);
  pagePreviouseImgHypLnk.addMouseListener(new org.eclipse.swt.events.MouseAdapter(){
    @Override public void mouseUp(    MouseEvent e){
      if (currentPage > 1) {
        currentPage--;
        tree.dispose();
        buttomComp.dispose();
        if (IndicatorSelectDialog.this.parent != null) {
          initializationTree(IndicatorSelectDialog.this.parent);
          IndicatorSelectDialog.this.parent.layout();
        }
        pageNextImgHypLnk.setEnabled(true);
        pageLastImgHypLnk.setEnabled(true);
        okButton.setEnabled(false);
        if (currentPage <= 1) {
          pageFirstImgHypLnk.setEnabled(false);
          pagePreviouseImgHypLnk.setEnabled(false);
        }
        pageGoTo.select(currentPage - 1);
      }
    }
  }
);
  pageNextImgHypLnk.addMouseListener(new org.eclipse.swt.events.MouseAdapter(){
    @Override public void mouseUp(    MouseEvent e){
      if (currentPage < totalPages) {
        currentPage++;
        tree.dispose();
        buttomComp.dispose();
        if (IndicatorSelectDialog.this.parent != null) {
          initializationTree(IndicatorSelectDialog.this.parent);
          IndicatorSelectDialog.this.parent.layout();
        }
        pageFirstImgHypLnk.setEnabled(true);
        pagePreviouseImgHypLnk.setEnabled(true);
        if (currentPage >= totalPages) {
          okButton.setEnabled(true);
          pageNextImgHypLnk.setEnabled(false);
          pageLastImgHypLnk.setEnabled(false);
        }
        pageGoTo.select(currentPage - 1);
      }
    }
  }
);
  pageLastImgHypLnk.addMouseListener(new org.eclipse.swt.events.MouseAdapter(){
    @Override public void mouseUp(    MouseEvent e){
      if (currentPage != totalPages) {
        currentPage=totalPages;
        tree.dispose();
        buttomComp.dispose();
        if (IndicatorSelectDialog.this.parent != null) {
          initializationTree(IndicatorSelectDialog.this.parent);
          IndicatorSelectDialog.this.parent.layout();
        }
        pageFirstImgHypLnk.setEnabled(true);
        pagePreviouseImgHypLnk.setEnabled(true);
        pageNextImgHypLnk.setEnabled(false);
        pageLastImgHypLnk.setEnabled(false);
        okButton.setEnabled(true);
        pageGoTo.select(currentPage - 1);
      }
    }
  }
);
  pageGoTo.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      int toPage=pageGoTo.getSelectionIndex() + 1;
      currentPage=toPage;
      tree.dispose();
      buttomComp.dispose();
      if (IndicatorSelectDialog.this.parent != null) {
        initializationTree(IndicatorSelectDialog.this.parent);
        IndicatorSelectDialog.this.parent.layout();
      }
      if (currentPage == 1) {
        pageFirstImgHypLnk.setEnabled(false);
        pagePreviouseImgHypLnk.setEnabled(false);
        pageNextImgHypLnk.setEnabled(true);
        pageLastImgHypLnk.setEnabled(true);
        okButton.setEnabled(false);
      }
 else       if (currentPage == totalPages) {
        pageFirstImgHypLnk.setEnabled(true);
        pagePreviouseImgHypLnk.setEnabled(true);
        pageNextImgHypLnk.setEnabled(false);
        pageLastImgHypLnk.setEnabled(false);
        okButton.setEnabled(true);
      }
 else {
        pageFirstImgHypLnk.setEnabled(true);
        pagePreviouseImgHypLnk.setEnabled(true);
        pageNextImgHypLnk.setEnabled(true);
        pageLastImgHypLnk.setEnabled(true);
        okButton.setEnabled(false);
      }
    }
  }
);
}