When we need to access the JBoss repository, it is for dependency that are only accessible there. We do not need the full "public-jboss" group, which includes artifacts mirrored from other repositories.
Thus we should replace any reference to:
It will be more correct, and as an added benefit this may speed up the build a little bit (though probably not spectacularly so).
Let's not change the name of any Maven property, though, because downstream builds (EAP) may rely on it, and we don't want to break compatibility.
To be done in 5.10 and 6.0.