@Override
  public void visitDefaultCaseLabelElement(@NotNull PsiDefaultCaseLabelElement element) {
    startElement(element);
    finishElement(element);
  }
@Override
  public void visitDefaultCaseLabelElement(@NotNull PsiDefaultCaseLabelElement element)