if (clearing_)
return;
WorkbenchTab tab = tabs_.get(event.getItem().intValue());
tab.onBeforeSelected();
}
<BUG>});

tabPanel_.addSelectionHandler(new SelectionHandler<Integer>() {

public void onSelection(SelectionEvent<Integer> event)</BUG>
{

if (clearing_)
return;
WorkbenchTab tab = tabs_.get(event.getItem().intValue());
tab.onBeforeSelected();
}
}));
releaseOnUnload_.add(tabPanel_.addSelectionHandler(new SelectionHandler<Integer>()
