org.hibernate:4.3 should not be alias for 5.0

modules/system/layers/base/org/hibernate/4.3/module.xml contains:

<module-alias xmlns="urn:jboss:module:1.3" name="org.hibernate" slot="4.3" target-name="org.hibernate"/>

org.hibernate:4.3 should be a real module (not alias) like org.hibernate:4.1 is.