public void addToHistory(Move move) {
// Add the move to the moveHistory so we can undo it later, if requested.
moveHistory.addElement(move);
}
public void addToHistory(Move move) {
// Add the move to the moveHistory so we can undo it later, if requested.
moveHistory.addElement(move);
}