Prune jboss2 and jboss71: Leave 5, 7, and 72