Spring Enforce order of Javadoc tags for records

Thanks to a comment from @kashike (https://github.com/spring-projects/spring-framework/commit/bb17ad8314b81850a939fd265fb53b3361705e85#r145406526), I noticed that our Checkstyle configuration does not enforce the order of Javadoc tags for record types.

We should therefore add RECORD_DEF to the Checkstyle configuration for the AtclauseOrderCheck.