The Jakarta interceptor migration completes InvocationContext decorators with getConstructor()

[jkschneider]

jakarta.interceptor.InvocationContext adds getConstructor(), so a hand-written javax decorator that delegated to a wrapped context stopped compiling after JavaxInterceptorToJakartaInterceptor. New recipe InvocationContextGetConstructor, run after the package change, adds a getConstructor() that delegates to the same receiver when a direct implementation, an anonymous class or a named class extending only Object, returns x.getMethod() from its getMethod() with x an InvocationContext. Classes that already implement getConstructor(), that do not delegate, or that extend another class are left alone.

Found by a team of coding agents reviewing a Moderne run of org.openrewrite.java.migrate.jakarta.JavaxMigrationToJakarta over the 31 Arquillian repositories (run 20261003120559-YQoma). The issue is invocation-context-get-constructor-missing in the run's io.moderne.RecipeIssues data table (1 row), and the fix was discussed and reviewed on the run's message board. A row from the table, as a generalized example:

A migrated InvocationContext decorator does not implement the required getConstructor method. (arquillian/continuous-enterprise-development, code/application/web/rest/core/src/main/java/org/cedj/geekseek/web/rest/core/interceptor/RESTInterceptorEnabler.java, recipe org.openrewrite.java.migrate.jakarta.JavaxMigrationToJakarta)

Before:

new javax.interceptor.InvocationContext() { /* existing methods delegate to context */ public Method getMethod() { return context.getMethod(); } }

What the recipe produced:

new jakarta.interceptor.InvocationContext() { /* existing methods delegate to context */ public Method getMethod() { return context.getMethod(); } }

Expected:

new jakarta.interceptor.InvocationContext() { /* existing methods delegate to context */ public Method getMethod() { return context.getMethod(); } public Constructor<?> getConstructor() { return context.getConstructor(); } }

Stacked on #1280 (18 of 19); merge that one first.