public SimulationOptions getSimulationOptionsCopy() {
SimulationOptions ret = new SimulationOptions();
ret.setAgent(getAgent());
ret.setLevelDifficulty(getLevelDifficulty());
ret.setLevelLength(getLevelLength());
ret.setLevelRandSeed(getLevelRandSeed());
ret.setLevelType(getLevelType());
// ret.setLevelType(2);
// ret.setMarioComponent(marioComponent);
ret.setVisualization(isVisualization());
ret.setPauseWorld(isPauseWorld());
ret.setPowerRestoration(isPowerRestoration());
ret.setMaxAttempts(getMaxAttempts());
// ret.setMaxAttempts(3);
ret.setMarioMode(getMarioMode());
// ret.setMarioMode();
ret.setTimeLimit(getTimeLimit());
ret.setZLevelEnemies(getZLevelEnemies());
ret.setZLevelMap(getZLevelMap());
return ret;
}
