void (@NotNull String shortName) { HighlightDisplayKey key = ourNameToKeyMap.remove(shortName); if (key != null) { ourIdToKeyMap.remove(key.myID); ourKeyToAlternativeIDMap.remove(key); ourKeyToDisplayNameMap.remove(key); } }