/**
* Add listener to re-populate the menu each time it is shown because
* MenuManager.update(boolean, boolean) doesn't dispose pull-down
* ActionContribution items for each popup menu.
*/
menu.addMenuListener(new MenuAdapter() {
@Override
public void menuShown(MenuEvent e) {
Menu m = (Menu) e.widget;
MenuItem[] items = m.getItems();
for (int i = 0; i < items.length; i++) {