537538539540541542543544545546547
public void redo() { if (undoneCommands.size() > 0) { Command comm = undoneCommands.pop(); comm.execute(); doneCommands.push(comm); } if (undoneCommands.size() == 0) {