break;
case TIMING_WITH_PAUSE:
wellKnownTableauMonitor=new TimerWithPause();
break;
case DEBUGGER_HISTORY_ON:
wellKnownTableauMonitor=new Debugger(prefixes,true);
break;
case DEBUGGER_NO_HISTORY:
wellKnownTableauMonitor=new Debugger(prefixes,false);
break;
default:
throw new IllegalArgumentException("Unknown monitor type");
}