void (int type, String @NotNull [] text, @Nullable String groupName, @Nullable Navigatable navigatable, @Nullable String exportTextPrefix, @Nullable String rendererTextPrefix, @Nullable UUID sessionId) { myViewUpdater.execute(() -> { final ErrorViewStructure structure = myPanel.getErrorViewStructure(); final GroupingElement group = structure.lookupGroupingElement(groupName); if (group != null && sessionId != null && !sessionId.equals(group.getData())) { structure.removeElement(group); } if (navigatable != null) { myPanel.addMessage(type, text, groupName, navigatable, exportTextPrefix, rendererTextPrefix, sessionId); } else { myPanel.addMessage(type, text, null, -1, -1, sessionId); } updateIcon(sessionId); }); }