default void addMessage(@NotNull CompilerMessageCategory category,
                          @Nls(capitalization = Nls.Capitalization.Sentence) String message,
                          @Nullable String url, int lineNum, int columnNum, @Nullable Navigatable navigatable) {
    addMessage(category, message, url, lineNum, columnNum, navigatable, Collections.emptyList());
  }
default void addMessage(@NotNull CompilerMessageCategory category,
                          @Nls(capitalization = Nls.Capitalization.Sentence) String message,
                          @Nullable String url, int lineNum, int columnNum, @Nullable Navigatable navigatable)