public static @NotNull EditorFontType forJavaStyle(@JdkConstants.FontStyle int style) {
    return switch (style) {
      case Font.BOLD -> BOLD;
      case Font.ITALIC -> ITALIC;
      case Font.BOLD | Font.ITALIC -> BOLD_ITALIC;
      default -> PLAIN;
    };
  }
public static @NotNull EditorFontType forJavaStyle(@JdkConstants.FontStyle int style)