@Override
    public List<PsiRecordComponent> getChildren(PsiRecordHeader header) {
      return Arrays.asList(header.getRecordComponents());
    }
@Override
    public List<PsiRecordComponent> getChildren(PsiRecordHeader header)