Does this need the `@ConstructorProperties` annotation?