timer is now a DefaultTimeScheduler; needs to be made configurable once we have other implementations (https://jira.jboss.org/browse/JGRP-1051)
timer is now a DefaultTimeScheduler; needs to be made configurable once we have other implementations (https://jira.jboss.org/browse/JGRP-1051)

ligzy/JGroups,slaskawi/JGroups,belaban/JGroups,belaban/JGroups,rvansa/JGroups,ibrahimshbat/JGroups,pferraro/JGroups,rhusar/JGroups,belaban/JGroups,danberindei/JGroups,kedzie/JGroups,Sanne/JGroups,rpelisse/JGroups,slaskawi/JGroups,deepnarsay/JGroups,rvansa/JGroups,rpelisse/JGroups,vjuranek/JGroups,Sanne/JGroups,pferraro/JGroups,kedzie/JGroups,ibrahimshbat/JGroups,TarantulaTechnology/JGroups,dimbleby/JGroups,pruivo/JGroups,rhusar/JGroups,deepnarsay/JGroups,rhusar/JGroups,TarantulaTechnology/JGroups,TarantulaTechnology/JGroups,rpelisse/JGroups,slaskawi/JGroups,ibrahimshbat/JGroups,deepnarsay/JGroups,dimbleby/JGroups,vjuranek/JGroups,ibrahimshbat/JGroups,pruivo/JGroups,tristantarrant/JGroups,pferraro/JGroups,Sanne/JGroups,ligzy/JGroups,danberindei/JGroups,vjuranek/JGroups,dimbleby/JGroups,danberindei/JGroups,kedzie/JGroups,tristantarrant/JGroups,ligzy/JGroups,pruivo/JGroups