}
GlobalOptions.setSeed(seed);
GlobalOptions.setDifficulty(difficulty);
Agent controller = new BestFirstAgent(); // This line uses the agent you imported above.
if (args.length > 0) {
controller = RegisterableAgent.load (args[0]);
RegisterableAgent.registerAgent (controller);
}
GlobalOptions.currentController = controller.getName();
GlobalOptions.writeFrames = false; //set to true to write frames to disk
EvaluationOptions options = new CmdLineOptions(new String[0]);
options.setAgent(controller);
Task task = new ProgressTask(options);
options.setMaxFPS(false);