return;
}
if ( !( activity instanceof WorkbenchActivity ) ) {
return;
}
final WorkbenchActivity wbActivity = (WorkbenchActivity) activity;
if ( !event.getPlace().equals( activePlace ) ) {
//Add items for current WorkbenchPart
activePlace = event.getPlace();
buildMenu( wbActivity.getMenus() );
}
}