Eclipse only offers to remove argument or create new record constructor on unknown argument to Java record constructor

Platform:

- debian 12.11 "bookworm", amd64
- OpenJDK "21.0.4" 2024-07-16 LTS
- eclpse Java IDE Version: 2025-06 (4.36.0) Build id: 20250605-1316

When eclipse sees an unexpected argument to a Java record constructor. e.g.
```
var image = new Image("Image");
```
then eclipse offers to ways to correct the issue:

1. Remove the argument (i.e. making it be `new Image()`)
2. Add an extra constructor to the record type with the argument

What I usually want when introducing an extra argument during test driven development, is to add the argument to the record type definition (or primary constructor or whatever it is called).

A fix option to change the record type property list should be added.