Settings.usingDBGP = true;
Settings.release = Release.VDM_10;
Settings.timingInvChecks = true;
RuntimeValidator.setLogFile(null);
controller = new VDMCO();
SharedStateListner.setIdentityChecker(null);
isSchedulingHookConfigured = false;
internalFinishTime = -1;
return true;
}