JSON schema has a field `requiredProperties` but this should be `required` per the JSON Schema spec

[lion7]

As the title says, when generating a JSON schema from a Spring Boot application with Spring Data REST the resulting schema contains a field requiredProperties with all non-nullable fields. This field should be named required instead. The field is defined here:

spring-data-rest/spring-data-rest-webmvc/src/main/java/org/springframework/data/rest/webmvc/json/JsonSchema.java

Line 210 in 66589c6

public final Collection<String> requiredProperties;

See this page for the exact spec: https://json-schema.org/understanding-json-schema/reference/object#required .

I also found this issue that mentions a requiredProperties field, perhaps that might be related / have caused some confusion.

For extra context, I generated the JSON schema like this (for a companies repo): curl --header 'Accept: application/schema+json' http://localhost:8080/api/v1/profile/companies