"The collection is never added to" for Map-typed record field

[lukehutch]

I'm seeing a "The collection is never added to" warning on a record parameter, for a public record class:

(latest version of vscode-java and VS Code)

[fbricon]

vscode-java has no such error. Looks like something out of the oracle extension.