private static String getLocaleUnawareKeyModifiersText(int modifiers) {
    List<String> pressed = ourModifiers.stream()
      .filter(p -> (p.first & modifiers) != 0)
      .map(p -> p.second).toList();
    return StringUtil.join(pressed, "+");
  }
private static String getLocaleUnawareKeyModifiersText(int modifiers)