updatePanelData(panel, ba);
if (list.size() != 0)
enableDetailsButton(panel, node);
panel.repaint();
}
protected void enableDetailsButton(StatePanel panel, final TreeNode node)
{
panel.enableButton(StatePanel.DETAILS_BUTTON_TEXT, new ActionListener() {