Adding the jboss <distributionManagement> info