Program: 120751
Project: 120751
Buggy source:
private void addCommonsComponentListeners(){
  final UIManager uiManager=mapperManager.getUiManager();
  final SearchZoneMapper searchZoneMapper=new SearchZoneMapper(mapperManager);
  searchText.addKeyListener(new KeyListener(){
    public void keyPressed(    KeyEvent e){
      if (e.keyCode == SWT.CR || e.keyCode == SWT.KEYPAD_CR) {
        e.doit=false;
        if (searchMaps.size() > 0) {
          if (!searchZoneMapper.isHightlightAll()) {
            searchZoneMapper.hightlightAll(searchMaps,false);
          }
 else {
            searchZoneMapper.hightlightAll(searchMaps,true);
          }
          searchMaps.clear();
        }
        searchZoneMapper.search(searchMaps,searchText.getText());
        selectKey=searchZoneMapper.selectHightlight(searchMaps,0,"String_Node_Str");
      }
    }
    public void keyReleased(    KeyEvent e){
    }
  }
);
  downTableButton.addListener(SWT.Selection,new Listener(){
    public void handleEvent(    Event event){
      if (searchMaps.isEmpty()) {
        searchZoneMapper.search(searchMaps,searchText.getText());
      }
      if (selectKey + 1 < searchMaps.size()) {
        if (!searchZoneMapper.isHightlightAll()) {
          searchZoneMapper.hightlightAll(searchMaps,false);
        }
 else {
          searchZoneMapper.hightlightAll(searchMaps,true);
        }
      }
      Integer selectKeyAtTableItem=searchZoneMapper.getSelectedKeyAtSelectedTableItem(searchMaps);
      if (selectKeyAtTableItem > 0) {
        selectKey=searchZoneMapper.selectHightlight(searchMaps,selectKeyAtTableItem,"String_Node_Str");
      }
 else       if (selectKeyAtTableItem == 0 && selectKey == -1) {
        selectKey=searchZoneMapper.selectHightlight(searchMaps,0,"String_Node_Str");
      }
 else {
        selectKey=searchZoneMapper.selectHightlight(searchMaps,selectKey,"String_Node_Str");
      }
    }
  }
);
  upTableButton.addListener(SWT.Selection,new Listener(){
    public void handleEvent(    Event event){
      if (searchMaps.isEmpty()) {
        searchZoneMapper.search(searchMaps,searchText.getText());
      }
      if (selectKey > 0) {
        if (!searchZoneMapper.isHightlightAll()) {
          searchZoneMapper.hightlightAll(searchMaps,false);
        }
 else {
          searchZoneMapper.hightlightAll(searchMaps,true);
        }
      }
      Integer selectKeyAtTableItem=searchZoneMapper.getSelectedKeyAtSelectedTableItem(searchMaps);
      if (selectKeyAtTableItem > 0) {
        selectKey=searchZoneMapper.selectHightlight(searchMaps,selectKeyAtTableItem,"String_Node_Str");
      }
 else       if (selectKeyAtTableItem == 0 && selectKey == -1) {
        selectKey=searchZoneMapper.selectHightlight(searchMaps,0,"String_Node_Str");
      }
 else {
        selectKey=searchZoneMapper.selectHightlight(searchMaps,selectKey,"String_Node_Str");
      }
    }
  }
);
  hightLightAllButton.addListener(SWT.Selection,new Listener(){
    public void handleEvent(    Event event){
      if (searchMaps.isEmpty() && hightLightAllButton.getSelection()) {
        searchZoneMapper.search(searchMaps,searchText.getText());
      }
      searchZoneMapper.setHightlightAll(hightLightAllButton.getSelection());
      searchZoneMapper.hightlightAll(searchMaps,hightLightAllButton.getSelection());
    }
  }
);
}

Fixed version (ground truth):
private void addCommonsComponentListeners(){
  final SearchZoneMapper searchZoneMapper=new SearchZoneMapper(mapperManager);
  searchText.addKeyListener(new KeyListener(){
    public void keyPressed(    KeyEvent e){
      if (e.keyCode == SWT.CR || e.keyCode == SWT.KEYPAD_CR) {
        e.doit=false;
        if (searchMaps.size() > 0) {
          searchZoneMapper.hightlightAll(searchMaps,false);
          hightLightAllButton.setSelection(false);
          searchZoneMapper.setHightlightAll(hightLightAllButton.getSelection());
          searchMaps.clear();
        }
        searchZoneMapper.search(searchMaps,searchText.getText());
        selectKey=searchZoneMapper.selectHightlight(searchMaps,0,"String_Node_Str");
      }
    }
    public void keyReleased(    KeyEvent e){
    }
  }
);
  downTableButton.addListener(SWT.Selection,new Listener(){
    public void handleEvent(    Event event){
      if (searchMaps.isEmpty()) {
        searchZoneMapper.search(searchMaps,searchText.getText());
      }
      if (selectKey + 1 < searchMaps.size()) {
        if (!searchZoneMapper.isHightlightAll()) {
          searchZoneMapper.hightlightAll(searchMaps,false);
        }
 else {
          searchZoneMapper.hightlightAll(searchMaps,true);
        }
      }
      Integer selectKeyAtTableItem=searchZoneMapper.getSelectedKeyAtSelectedTableItem(searchMaps);
      if (selectKeyAtTableItem > 0) {
        selectKey=searchZoneMapper.selectHightlight(searchMaps,selectKeyAtTableItem,"String_Node_Str");
      }
 else       if (selectKeyAtTableItem == 0 && selectKey == -1) {
        selectKey=searchZoneMapper.selectHightlight(searchMaps,0,"String_Node_Str");
      }
 else {
        selectKey=searchZoneMapper.selectHightlight(searchMaps,selectKey,"String_Node_Str");
      }
    }
  }
);
  upTableButton.addListener(SWT.Selection,new Listener(){
    public void handleEvent(    Event event){
      if (searchMaps.isEmpty()) {
        searchZoneMapper.search(searchMaps,searchText.getText());
      }
      if (selectKey > 0) {
        if (!searchZoneMapper.isHightlightAll()) {
          searchZoneMapper.hightlightAll(searchMaps,false);
        }
 else {
          searchZoneMapper.hightlightAll(searchMaps,true);
        }
      }
      Integer selectKeyAtTableItem=searchZoneMapper.getSelectedKeyAtSelectedTableItem(searchMaps);
      if (selectKeyAtTableItem > 0) {
        selectKey=searchZoneMapper.selectHightlight(searchMaps,selectKeyAtTableItem,"String_Node_Str");
      }
 else       if (selectKeyAtTableItem == 0 && selectKey == -1) {
        selectKey=searchZoneMapper.selectHightlight(searchMaps,0,"String_Node_Str");
      }
 else {
        selectKey=searchZoneMapper.selectHightlight(searchMaps,selectKey,"String_Node_Str");
      }
    }
  }
);
  hightLightAllButton.addListener(SWT.Selection,new Listener(){
    public void handleEvent(    Event event){
      if (searchMaps.isEmpty() && hightLightAllButton.getSelection()) {
        searchZoneMapper.search(searchMaps,searchText.getText());
      }
      mapperManager.setSearchOption(hightLightAllButton.getSelection());
      searchZoneMapper.setHightlightAll(hightLightAllButton.getSelection());
      searchZoneMapper.hightlightAll(searchMaps,hightLightAllButton.getSelection());
    }
  }
);
}