public Menu getMenu(Control parent) {
Menu menu = new Menu(parent);
List<WGARuntime> runtimeList = new ArrayList<WGARuntime>(WGADesignerPlugin.getAllRuntimes().values());
Collections.sort(runtimeList, new WGARuntimeSortByName());
Iterator<WGARuntime> runtimes = runtimeList.iterator();
while (runtimes.hasNext()) {
WGARuntime runtime = runtimes.next();
MenuItem runtimeItem = new MenuItem(menu, SWT.CASCADE);