void (@Nullable EditorMarkupModelImpl editorMarkupModel) { super.refresh(editorMarkupModel); if (editorMarkupModel != null) { editorMarkupModel.setTrafficLightIconVisible(hasHighSeverities(getErrorCounts())); } }