8283848586878889909192
{ public void execute() { if (panel_ != null) panel_.hide(false); events_.fireEvent(new SwitchToDocEvent(tabIndex)); } }); item.setTitle(paths[i]); names_.add(names[i]);