static void setupAnnotationSession(@NotNull AnnotationSession annotationSession,
                                     @NotNull TextRange priorityRange,
                                     @NotNull TextRange highlightRange,
                                     @Nullable HighlightSeverity minimumSeverity) {
    ((AnnotationSessionImpl)annotationSession).setMinimumSeverity(minimumSeverity);
    ((AnnotationSessionImpl)annotationSession).setVR(priorityRange, highlightRange);
  }
static void setupAnnotationSession(@NotNull AnnotationSession annotationSession,
                                     @NotNull TextRange priorityRange,
                                     @NotNull TextRange highlightRange,
                                     @Nullable HighlightSeverity minimumSeverity)