Removed deprecated jboss repo

This pull request is from me (peter). I was still logged in as jenkinshazelcast.

fix #831