historyList.remove(0);
}
historyList.add(new HistoryElement(++historyIndex, line));
cmd.init(this);
cmd.run(parsedLine.args);
return cmd.getExitCode();
} catch (AbortException expected) {
exitCode = 0;
} catch (JGDIException ex) {
err.println(ex.getMessage());