}
private void showSolutionShort(final Solution solution) {
solution.resetMoves();
int robot = -1;
Move move;
while (null != (move = solution.getNextMove())) {
if (robot != move.robotNumber) {
this.appendSolutionText("\n", null);
this.appendSolutionText(Board.getColorLongL10N(move.robotNumber), COL_ROBOT[move.robotNumber]);
this.appendSolutionText(":", null);
robot = move.robotNumber;
}
this.appendSolutionText(" " + move.strDirectionL10N(), null);
}
this.appendSolutionText("\n", null);
}