@SuppressWarnings("deprecation")
	private static boolean isAlt(int mask) {
		return (mask & InputEvent.ALT_DOWN_MASK) != 0 || (mask & InputEvent.ALT_MASK) != 0;
	}
Convert the toString() form of the keyStroke.
<br>In Java 1.4.2 and earlier, Ctrl-M is returned as "keyCode CtrlM-P"
and we want it to look like: "Ctrl-M".
<br>In Java 1.5.0, Ctrl-M is returned as "ctrl pressed M"
and we want it to look like: "Ctrl-M".
<br>In Java 11 we have seen toString() values get printed with repeated text, such
as: "shift ctrl pressed SHIFT".  We want to trim off the repeated modifiers.

@param keyStroke the key stroke
@return the string value; the empty string if the key stroke is null
Ghidra/Framework/Docking/src/main/java/docking/actions/KeyBindingUtils.java