ref #6566 Migrate org.eclipse.ui.main.menu.edit menu