mi.setSelected(true); // This is the default theme
createThemesMenuItem(themesMenu, "ThemesMenu.steel_label",
"ThemesMenu.steel_mnemonic",
"ThemesMenu.steel_accessible_description",
new DefaultMetalTheme());
createThemesMenuItem(themesMenu, "ThemesMenu.aqua_label", "ThemesMenu.aqua_mnemonic",
"ThemesMenu.aqua_accessible_description", new AquaTheme());
createThemesMenuItem(themesMenu, "ThemesMenu.charcoal_label", "ThemesMenu.charcoal_mnemonic",