Mapstruct, похоже, не распознает @SuperBuilder от Lombok ⇐ JAVA

[Anonymous]

У меня есть два таких предметных класса.

Код: Выделить всё

@Getter
@Setter
public class User {
private String name;
}

Код: Выделить всё

@Getter
@Setter
public class Student extends User {
private int grade;
}

И еще у меня есть два таких класса Dto.

Код: Выделить всё

@Getter
@SuperBuilder
public class UserDto {
private final String name;
}

Код: Выделить всё

@Getter
@SuperBuilder
public class StudentDto extends UserDto {
private final int grade;
}

Итак, я создал класс картографа StudentMapper, который расширяет GenericMapper.

Код: Выделить всё

public interface GenericMapper {
D toDto(E e);
E toEntity(D d);
}

Код: Выделить всё

@Mapper(componentModel = "spring")
public interface StudentMapper extends GenericMapper {
}

Но при компиляции Mapper возникла ошибка.
"StudentDto не имеет доступного конструктора".
Что не так с этими кодами?
Я хочу, чтобы StudentDto был неизменяемым.
Как лучше всего этого добиться с помощью Lombok и Mapstruct?
Исходные коды можно получить на сайте здесь.
https://github.com/jangdaewon/sandbox.lombokmapstruct

Подробнее здесь: https://stackoverflow.com/questions/686 ... perbuilder