这些是我想要生成openapi规范的类：

import org.eclipse.microprofile.openapi.annotations.media.Schema;

@Schema(requiredProperties = {"id"})
public class ArrangementDto {
  private String id;
}

public class CreditCardDto extends ArrangementDto {
  private String number;
}

字符串
这就是我生成的规范的样子：

ArrangementDto:
      required:
      - id
      type: object
      properties:
        id:
          type: string

CreditCardDto:
      type: object
      properties:
        id:
          type: string
        number:
          type: string

型
正如你所看到的，CreditCardDto上的id是必需的信息丢失了。我们应该如何解决这个问题？有没有一种方法可以将必需的属性继承给子类？
我使用Quarkus 3，它使用符合MicroProfile OpenAPI规范的Smallrye OpenAPI扩展，以生成API OpenAPI v3规范。