I have come to the point where everything works but I have not yet started migrating the Enhancer. Unfortunately, this last task is a bit convoluted and it might take some time to do it. I think as for the enhancer, it would make sense to write something new instead of migrating the Javassist enhancer bit by bit; the libraries are too different in this regard but I think this migration can also simplify the Enhancer tremendously and make it more robust towards changes.

Therefore my question:
1. Do you have some form of formal specification of what the Enhancer is supposed to do? I find it quite difficult to extract something from the code.
2. If such a spec does not exist, would someone who has experience with the Enhancer be willing to apply this migration? I would be absolutely willing to assist this individual; I have already looked at the code and I think I know the way to go. It is just that I see that this migration will probably take a few days and this is more than I can offer from my free time, unfortunately. Extracting the business logic from the Javassist code would make me miss to much payed work and running Byte Buddy and Mockito already feels like a second job; sorry for that.