276277278279280281282283284285286287288
checkModel(Simulator.CT, ctModel); if (deLauncher == null) { throw new InvalidSimulationLauncher(Simulator.DE, "Launcher not set"); } if (ctLauncher == null) { throw new InvalidSimulationLauncher(Simulator.CT, "Launcher not set"); } }