private static String processMenuItemName(String string) {
		int firstAmp = string.indexOf('&');
		if (firstAmp < 0) {
			return string;
		}
		StringBuilder builder = new StringBuilder(string.substring(0, firstAmp));
		for (int i = firstAmp; i < string.length(); i++) {
			char ch = string.charAt(i);
			if (ch == '&') {
				if (i < string.length() - 1 && string.charAt(i+1) == '&') {
					builder.append('&');
					i++;
				}
			} else {
				builder.append(ch);
			}
		}
		return builder.toString();
	}
Sets the menu item name, without parsing the name for mnemonics ("&amp;File").
<p>
Use this method instead of {@link #setMenuItemName(String)} when the name may have '&amp;'
characters that need to be preserved, which is typically any user supplied strings.

@param newMenuItemName the new name for this menu item
Ghidra/Framework/Docking/src/main/java/docking/action/MenuData.java