}
});
}
final MenuBuilder menuBuilder = tabSpec.getMenuBuilder();
if (menuBuilder != null) {
addContextMenuListener(tabElement, new ContextMenuHandler() {
public void onContextMenu(final com.google.gwt.dom.client.Element element, final int x, final int y) {
final MenuPopup menu = new MenuPopup(true);
menuBuilder.build(menu.getMenu());
menu.setPopupPositionAndShow(new Popup.PositionCallback() {
public void setPosition(int offsetWidth, int offsetHeight) {