We didn't expect any use of internal names.
Apparently Javassist just accepted them, we didn't check against them, and WildFly had been taking advantage.
Re Byte Buddy not allowing: I agree, we'll fix our side of things.