There seems to be an available 7.2.0 version, which is effectively the version of jboss as we use in production. We should consider trying to make it work with that one.
(Obviously not for this pull request)