public static String getKeyStrokeDisplay(KeyStroke ks) {
		StringBuilder buffer = new StringBuilder();
		if (ks != null) {
			int modifiers = ks.getModifiers();
			if (modifiers > 0) {
				String modifierText = KeyEvent.getKeyModifiersText(modifiers);
				if (Platform.isMacintosh()) {
					buffer.append(modifierText.replaceAll("\\+", "")); //$NON-NLS-1$ //$NON-NLS-2$
				} else {
					buffer.append(modifierText);
					String delimiter = UIManager.getString("MenuItem.acceleratorDelimiter"); //$NON-NLS-1$
					if (delimiter == null) {
						delimiter = "+"; //$NON-NLS-1$
					}
					buffer.append(delimiter);
				}
			}
			int keyCode = ks.getKeyCode();
			if (keyCode != 0) {
				buffer.append(KeyEvent.getKeyText(keyCode));
			} else {
				buffer.append(ks.getKeyChar());
			}
		}
		return buffer.toString();
	}