private static int problemSeverity(@NotNull Problem problem) {
    HighlightingProblem highlighting = problem instanceof HighlightingProblem ? (HighlightingProblem)problem : null;
    return highlighting != null ? highlighting.getSeverity() : HighlightSeverity.ERROR.myVal;
  }
private static int problemSeverity(@NotNull Problem problem)