@Override
  public @Nullable PsiCaseLabelElementList getCaseLabelElementList() {
    return PsiTreeUtil.getChildOfType(this, PsiCaseLabelElementList.class);
  }
@Override
  public @Nullable PsiCaseLabelElementList getCaseLabelElementList()