@Override
  public PsiRecordComponent @NotNull [] getRecordComponents() {
    return getStub().getChildrenByType(JavaStubElementTypes.RECORD_COMPONENT, PsiRecordComponent.ARRAY_FACTORY);
  }
@Override
  public PsiRecordComponent @NotNull [] getRecordComponents()