boardsSelected.setElementAt(boardsAvailable.elementAt(rindex), i);
if ( 0 == Compute.randomInt(2) ) { boardsSelected.setElementAt (Board.BOARD_REQUEST_ROTATION + boardsAvailable.elementAt(rindex), i); } else { boardsSelected.setElementAt (boardsAvailable.elementAt(rindex), i); }
    public void replaceBoardWithRandom(String board) {        for (int i = 0; i < boardsSelected.size(); i++) {            if (boardsSelected.elementAt(i).equals(board)) {                int rindex = Compute.randomInt(boardsAvailable.size() - 2) + 2;                boardsSelected.setElementAt(boardsAvailable.elementAt(rindex), i);            }        }    }