public static void saveTokenType(@NotNull RangeMarker m, @NotNull ConsoleViewContentType contentType) {
    m.putUserData(CONTENT_TYPE, contentType);
  }
public static void saveTokenType(@NotNull RangeMarker m, @NotNull ConsoleViewContentType contentType)