Re: [jboss-dev] Re: jgroups version names