@Override
  public PsiRecordComponent @NotNull [] getRecordComponents() {
    return getStubOrPsiChildren(JavaStubElementTypes.RECORD_COMPONENT, PsiRecordComponent.EMPTY_ARRAY);
  }
@Override
  public PsiRecordComponent @NotNull [] getRecordComponents()