Out of interest, and as you seem to have worked with both the Saxon
and BaseX Java mapping: Did you encounter other mapping details that
you believe are handled better in one of the processors?
I've not actually used Saxon's Java bindings, so I can't go into more details other than what the documentation says. This is currently the only project I'm using Java bindings for.
I'm only aware of the Saxon logic as I plan at some point to have Java integration in my XQuery plugin so you can navigate to the Java class/method/etc., have it auto-complete methods, and perform some static analysis like checking the number of arguments.
Kind regards,
Reece