The byte code provider that Hibernate uses is determined statically:
By default ByteBuddy is used. In order for Hibernate to use Javassist, hibernate.bytecode.provider must be mapped as a system property or hibernate.properties. A system property setting has precedence over a setting in hibernate.properties.
This should be documented in user guide.