incorrect formatting for a record + @DefaultValue

[wind57]

If I have a very simple record in the form:

public record TestRecord(@DefaultValue({"123", "456" }) Set<Integer> knownSecurePorts){
}

this in spring-cloud-kubernetes that uses 4.0.0-SNAPSHOT. and run mvn compile for it, it is formatted like this:

public record TestRecord(@DefaultValue( {
		"123", "456" }) Set<Integer> knownSecurePorts){
}

So the next time I try to issue mvn compile, it will fail.

[wind57]

as a work-around, I can do // @formatter:off...