private String formatShortcut(final Script script) { final String menuItemKey = ExecuteScriptAction.makeMenuItemKey(script.menuTitleKey, script.executionMode); final String shortcutKey = MenuUtils.makeAcceleratorKey(menuItemKey); final String oldShortcut = ResourceController.getResourceController().getProperty(shortcutKey); final KeyStroke keyStroke = UITools.getKeyStroke(oldShortcut != null ? oldShortcut : script.keyboardShortcut); return UITools.keyStrokeToString(keyStroke); }