* Otherwise a new instance of java.util.Timer will be created, wrapped inside a GeneralTimer instance and returned.
*
* @return A timer instance to use to handle timeouts (actors, GParsPool, GParsExecutorsPool)
*/
public static GeneralTimer retrieveDefaultTimer(final String name, final boolean daemon) {
final GeneralTimer timer;
if (timerFactory != null) {
timer = timerFactory.createTimer(name, daemon);
} else {
timer = new GeneralTimer() {
@Override
public void schedule(final Runnable task, final long timeout) {
Timer.timer.schedule(task, timeout, TimeUnit.MILLISECONDS);
}