Понижение Hibernate в Wildfly 15 до 4.x

Я хочу развернуть приложение на Wildfly 15, для которого требуется Hibernate 4.x. Согласно документации это делается с помощью следующего свойства в развернутом файле persistence.xml:

<property name = "jboss.as.jpa.providerModule" value = "org.hibernate:4.3"/>

Но в журналах во время развертывания я вижу, что Wildfly все еще загружает Hibernate 5.3:

2019-04-02 18:29:13,922 INFO  [] [org.hibernate.Version] (ServerService Thread Pool -- 75) HHH000412: Hibernate Core {5.3.7.Final}

Я также пытался добавить зависимость в файл jboss-deployment-structure.xml, но тоже безрезультатно:

<jboss-deployment-structure xmlns = "urn:jboss:deployment-structure:1.0">
<deployment>
    <dependencies>
        <module name = "org.hibernate" slot = "4.3"/>
    </dependencies>
</deployment>

Есть идеи? По крайней мере, когда я меняю слот зависимости модуля на что-то явно неправильное, развертывание там не выполняется. Таким образом, кажется, что jboss-deployment-structure.xml распознается во время моего развертывания.