@Override
  public void visitLabeledStatement(@NotNull PsiLabeledStatement statement) {
    super.visitLabeledStatement(statement);
    if (!hasErrorResults()) add(HighlightUtil.checkLabelWithoutStatement(statement));
    if (!hasErrorResults()) add(HighlightUtil.checkLabelAlreadyInUse(statement));
  }
@Override
  public void visitLabeledStatement(@NotNull PsiLabeledStatement statement)