public void startSimulation(File simulationFile) {
simulator = new Dispatcher_jSIMschema(simulationFile);
// ----------- Francesco D'Aquino ---------------
if (sd.isAnimationEnabled()) {
//if it is the first time create a new simStateChecker
simStateChecker = new SimulationStateChecker((Mediator) gui, simulator);
}
// ----------- end Francesco D'Aquino -----------
// If needed sets simulation seed
if (!sd.getUseRandomSeed()) {