http://wiki.jboss.org/wiki/Wiki.jsp?page=ClusteringInJBossVersions at this moment doesn't have info for JBoss 4.2