`ImplicitWebAnnotationNames` removes `@RequestParam` argument even when `-parameters` is missing

After running the spring boot 3.4 migration some Spring @RequestParam annotations had their arguments removed, which caused IllegalStateException during a subsequent test pass.

So in a function like:

@GetMapping
String foo(@RequestParam("a") String a) { ...}

Some part of the migration was changing it to:

@GetMapping
String foo(@RequestParam String a) { ...}

This would be fine if the compiler configuration included the -parameters argument, but it didn't, so this change is erroneous.

The recipe responsible is org.openrewrite.java.spring.ImplicitWebAnnotationNames. In the short term I'm going to remove it from spring boot best practices. Ideally it would be fixed to only make its change if -parameters is part of the compiler configuration.

Start with the org.openrewrite.java.spring.ImplicitWebAnnotationNames recipe and trace how it determines whether @RequestParam arguments can be omitted. Confirm how the compiler configuration exposes -parameters, then add coverage showing that explicit arguments are preserved when it is absent and run the recipe's relevant tests.