I removed the unintended JGroups version change and pushed again.