Markus Schulte, thanks for investigating this!

Just from looking at these methods, they don't seem suspicious. But your set-up with the modified HV version is very helpful. Do you think you could step through this code in debug mode and take a look how these methods are processed? You can run WildFly in debug mode via ./standalone.sh --debug 8787 and then attach a remote debugger e.g. from Eclipse. I'm wondering whether ClassMate (a lib we use for type resolution) has an isue with these generated AspectJ types.