[jboss-dev] Re: jgroups version names