Update JBoss repository URL (old one is no longer there)

This will probably break some dependencies which will need fixing.