Program: 86107
Project: 86107
Buggy source:
public void init(Map<String,Action> cmds){
  setWidth("String_Node_Str");
  m_createFolderPanel=new CreateFolderPanel(cmds);
  m_createMDocPanel=new CreateMDocPanel(cmds);
  m_createVersionPanel=new CreateVersionPanel(cmds);
  m_mdocTemplatePanel=new MDocTemplatePanel(cmds);
  m_docPanel=new DocPanel(cmds);
  m_wfEditor=new WorkflowModelEditor(cmds);
  m_iconFactory=new IconFactory(cmds);
  m_tableProfiles=new ExplorerTableProfileCollection(m_iconFactory);
  m_folderTree=new FolderTree(cmds,m_workspaceId,m_login,m_dndController);
  m_elementTable=new TableWidget(m_dndController);
  m_elementTable.addTableClickHandler(new TableClickHandler(){
    public void onClick(    TableClickEvent event){
      TableModel model=m_elementTable.getTableModel();
      if (model instanceof MDocTableModel) {
        m_lastOpenedMDoc=((MDocTableModel)model).getValueAt(event.getTableModelIndex().getRow());
        showEditDocPanel();
      }
 else       if (model instanceof MDocTemplateTableModel) {
        m_lastOpenedMDocTemplate=((MDocTemplateTableModel)model).getValueAt(event.getTableModelIndex().getRow());
        showEditMDocTemplatePanel();
      }
 else       if (model instanceof WorkflowModelTableModel) {
        m_lastOpenedWorkflowModel=((WorkflowModelTableModel)model).getValueAt(event.getTableModelIndex().getRow());
        showEditWorkflowModelPanel();
      }
    }
  }
);
  m_dndController.setTable(m_elementTable);
  m_elementTable.setStyleName("String_Node_Str");
  m_menuDocumentBarTop=new ExplorerDocumentMenuBar(cmds,this,false);
  m_menuDocumentBarBottom=new ExplorerDocumentMenuBar(cmds,this,true);
  m_menuBarTop=new ExplorerMenuBar(cmds,this,false);
  m_menuBarBottom=new ExplorerMenuBar(cmds,this,true);
  m_searchPanel=new SearchPanel(cmds,this);
  m_completeSearchPanel=new CompleteSearchPanel(cmds,this);
  m_completeSearchPanel.setVisible(false);
  m_folderTree.addSelectionHandler(new SelectionHandler<TreeItem>(){
    public void onSelection(    SelectionEvent<TreeItem> event){
      if (!m_elementTable.isAttached()) {
        showTablePanel();
      }
      refreshElementTable(event.getSelectedItem());
    }
  }
);
  VerticalPanel northPanel=new VerticalPanel();
  northPanel.setHorizontalAlignment(ALIGN_RIGHT);
  northPanel.setWidth("String_Node_Str");
  northPanel.add(m_searchPanel);
  northPanel.add(m_completeSearchPanel);
  add(northPanel,DockPanel.NORTH);
  setCellHorizontalAlignment(northPanel,ALIGN_RIGHT);
  VerticalPanel menuPanel=new VerticalPanel();
  m_group=new TabMenuGroup();
  TabMenu newDocTab=new TabMenu(i18n.actionNewDocument(),m_group);
  newDocTab.addClickHandler(new ClickHandler(){
    public void onClick(    ClickEvent event){
      showCreateMDocPanel();
    }
  }
);
  TabMenu newFolderTab=new TabMenu(i18n.actionNewFolder(),m_group);
  newFolderTab.addClickHandler(new ClickHandler(){
    public void onClick(    ClickEvent event){
      showCreateFolderPanel();
    }
  }
);
  TabMenu newTemplateTab=new TabMenu(i18n.actionNewTemplate(),m_group);
  newTemplateTab.addClickHandler(new ClickHandler(){
    public void onClick(    ClickEvent event){
      showCreateMDocTemplatePanel();
    }
  }
);
  TabMenu newWorkflowTab=new TabMenu(i18n.actionNewWorkflow(),m_group);
  newWorkflowTab.addClickHandler(new ClickHandler(){
    public void onClick(    ClickEvent event){
      m_lastOpenedWorkflowModel=null;
      showCreateWorkflowModelPanel();
    }
  }
);
  Label emptySpace=new Label();
  menuPanel.add(emptySpace);
  menuPanel.add(newDocTab);
  menuPanel.add(newFolderTab);
  menuPanel.add(newTemplateTab);
  menuPanel.add(newWorkflowTab);
  menuPanel.setCellHeight(emptySpace,"String_Node_Str");
  menuPanel.setCellHorizontalAlignment(newDocTab,ALIGN_RIGHT);
  menuPanel.setCellHorizontalAlignment(newFolderTab,ALIGN_RIGHT);
  menuPanel.setCellHorizontalAlignment(newTemplateTab,ALIGN_RIGHT);
  menuPanel.setCellHorizontalAlignment(newWorkflowTab,ALIGN_RIGHT);
  ScrollPanel folderScroll=new ScrollPanel(m_folderTree);
  folderScroll.setSize("String_Node_Str","String_Node_Str");
  DecoratorPanel folderTreeDecPanel=new DecoratorPanel();
  folderTreeDecPanel.setWidget(folderScroll);
  folderTreeDecPanel.addStyleName("String_Node_Str");
  menuPanel.add(folderTreeDecPanel);
  menuPanel.setWidth("String_Node_Str");
  menuPanel.setCellHorizontalAlignment(m_folderTree,ALIGN_LEFT);
  add(menuPanel,WEST);
  setCellHorizontalAlignment(menuPanel,ALIGN_RIGHT);
  setCellWidth(menuPanel,"String_Node_Str");
  inputPanel=new SimplePanel();
  showTablePanel();
  inputPanel.setWidth("String_Node_Str");
  elementTableDecPanel=new DecoratorPanel();
  elementTableDecPanel.addStyleName("String_Node_Str");
  elementTableDecPanel.setWidget(inputPanel);
  elementTableDecPanel.setWidth("String_Node_Str");
  add(elementTableDecPanel,CENTER);
  setCellHorizontalAlignment(elementTableDecPanel,ALIGN_LEFT);
  setCellWidth(elementTableDecPanel,"String_Node_Str");
  fetchMDocsByFolder(m_workspaceId);
  m_createMDocPanel.getTemplateListBox().addChangeHandler(new ChangeHandler(){
    public void onChange(    ChangeEvent event){
      fetchMDocId(m_workspaceId,m_createMDocPanel.getTemplateId());
    }
  }
);
}

Fixed version (ground truth):
public void init(Map<String,Action> cmds){
  setWidth("String_Node_Str");
  m_createFolderPanel=new CreateFolderPanel(cmds);
  m_createMDocPanel=new CreateMDocPanel(cmds);
  m_createVersionPanel=new CreateVersionPanel(cmds);
  m_mdocTemplatePanel=new MDocTemplatePanel(cmds);
  m_docPanel=new DocPanel(cmds);
  m_wfEditor=new WorkflowModelEditor(cmds);
  m_iconFactory=new IconFactory(cmds);
  m_tableProfiles=new ExplorerTableProfileCollection(m_iconFactory);
  m_folderTree=new FolderTree(cmds,m_workspaceId,m_login,m_dndController);
  m_menuDocumentBarTop=new ExplorerDocumentMenuBar(cmds,this,false);
  TableNavigator tmp1=new TableNavigator(pageManager);
  pageManager.addPageHandler(tmp1);
  m_menuDocumentBarTop.addExtension(tmp1);
  m_menuDocumentBarBottom=new ExplorerDocumentMenuBar(cmds,this,true);
  TableNavigator tmp2=new TableNavigator(pageManager);
  m_menuDocumentBarBottom.addExtension(tmp2);
  pageManager.addPageHandler(tmp2);
  m_menuBarTop=new ExplorerMenuBar(cmds,this,false);
  TableNavigator tmp3=new TableNavigator(pageManager);
  pageManager.addPageHandler(tmp3);
  m_menuBarTop.addExtension(tmp3);
  m_menuBarBottom=new ExplorerMenuBar(cmds,this,true);
  TableNavigator tmp4=new TableNavigator(pageManager);
  pageManager.addPageHandler(tmp4);
  m_menuBarBottom.addExtension(tmp4);
  m_elementTable=new ExplorerTable(m_menuBarTop,m_menuBarBottom,m_menuDocumentBarTop,m_menuDocumentBarBottom,m_dndController);
  m_elementTable.addTableClickHandler(new TableClickHandler(){
    public void onClick(    TableClickEvent event){
      TableModel model=m_elementTable.getTableModel();
      if (model instanceof MDocTableModel) {
        m_lastOpenedMDoc=((MDocTableModel)model).getValueAt(event.getTableModelIndex().getRow());
        showEditDocPanel();
      }
 else       if (model instanceof MDocTemplateTableModel) {
        m_lastOpenedMDocTemplate=((MDocTemplateTableModel)model).getValueAt(event.getTableModelIndex().getRow());
        showEditMDocTemplatePanel();
      }
 else       if (model instanceof WorkflowModelTableModel) {
        m_lastOpenedWorkflowModel=((WorkflowModelTableModel)model).getValueAt(event.getTableModelIndex().getRow());
        showEditWorkflowModelPanel();
      }
    }
  }
);
  m_dndController.setTable(m_elementTable.getInnerTable());
  m_elementTable.getInnerTable().setStyleName("String_Node_Str");
  m_elementTable.setWidth("String_Node_Str");
  m_searchPanel=new SearchPanel(cmds,this);
  m_completeSearchPanel=new CompleteSearchPanel(cmds,this);
  m_completeSearchPanel.setVisible(false);
  m_folderTree.addSelectionHandler(new SelectionHandler<TreeItem>(){
    public void onSelection(    SelectionEvent<TreeItem> event){
      if (!m_elementTable.isAttached()) {
        showTablePanel();
      }
      refreshElementTable(event.getSelectedItem());
    }
  }
);
  VerticalPanel northPanel=new VerticalPanel();
  northPanel.setHorizontalAlignment(ALIGN_RIGHT);
  northPanel.setWidth("String_Node_Str");
  northPanel.add(m_searchPanel);
  northPanel.add(m_completeSearchPanel);
  add(northPanel,DockPanel.NORTH);
  setCellHorizontalAlignment(northPanel,ALIGN_RIGHT);
  VerticalPanel menuPanel=new VerticalPanel();
  m_group=new TabMenuGroup();
  TabMenu newDocTab=new TabMenu(i18n.actionNewDocument(),m_group);
  newDocTab.addClickHandler(new ClickHandler(){
    public void onClick(    ClickEvent event){
      showCreateMDocPanel();
    }
  }
);
  TabMenu newFolderTab=new TabMenu(i18n.actionNewFolder(),m_group);
  newFolderTab.addClickHandler(new ClickHandler(){
    public void onClick(    ClickEvent event){
      showCreateFolderPanel();
    }
  }
);
  TabMenu newTemplateTab=new TabMenu(i18n.actionNewTemplate(),m_group);
  newTemplateTab.addClickHandler(new ClickHandler(){
    public void onClick(    ClickEvent event){
      showCreateMDocTemplatePanel();
    }
  }
);
  TabMenu newWorkflowTab=new TabMenu(i18n.actionNewWorkflow(),m_group);
  newWorkflowTab.addClickHandler(new ClickHandler(){
    public void onClick(    ClickEvent event){
      m_lastOpenedWorkflowModel=null;
      showCreateWorkflowModelPanel();
    }
  }
);
  Label emptySpace=new Label();
  menuPanel.add(emptySpace);
  menuPanel.add(newDocTab);
  menuPanel.add(newFolderTab);
  menuPanel.add(newTemplateTab);
  menuPanel.add(newWorkflowTab);
  menuPanel.setCellHeight(emptySpace,"String_Node_Str");
  menuPanel.setCellHorizontalAlignment(newDocTab,ALIGN_RIGHT);
  menuPanel.setCellHorizontalAlignment(newFolderTab,ALIGN_RIGHT);
  menuPanel.setCellHorizontalAlignment(newTemplateTab,ALIGN_RIGHT);
  menuPanel.setCellHorizontalAlignment(newWorkflowTab,ALIGN_RIGHT);
  ScrollPanel folderScroll=new ScrollPanel(m_folderTree);
  folderScroll.setSize("String_Node_Str","String_Node_Str");
  DecoratorPanel folderTreeDecPanel=new DecoratorPanel();
  folderTreeDecPanel.setWidget(folderScroll);
  folderTreeDecPanel.addStyleName("String_Node_Str");
  menuPanel.add(folderTreeDecPanel);
  menuPanel.setWidth("String_Node_Str");
  menuPanel.setCellHorizontalAlignment(m_folderTree,ALIGN_LEFT);
  add(menuPanel,WEST);
  setCellHorizontalAlignment(menuPanel,ALIGN_RIGHT);
  setCellWidth(menuPanel,"String_Node_Str");
  inputPanel=new SimplePanel();
  showTablePanel();
  inputPanel.setWidth("String_Node_Str");
  elementTableDecPanel=new DecoratorPanel();
  elementTableDecPanel.addStyleName("String_Node_Str");
  elementTableDecPanel.setWidget(inputPanel);
  elementTableDecPanel.setWidth("String_Node_Str");
  add(elementTableDecPanel,CENTER);
  setCellHorizontalAlignment(elementTableDecPanel,ALIGN_LEFT);
  setCellWidth(elementTableDecPanel,"String_Node_Str");
  fetchMDocsByFolder(m_workspaceId);
  m_createMDocPanel.getTemplateListBox().addChangeHandler(new ChangeHandler(){
    public void onChange(    ChangeEvent event){
      fetchMDocId(m_workspaceId,m_createMDocPanel.getTemplateId());
    }
  }
);
  pageManager.addPageHandler(this);
}