} else { boards.addElement(MapSettings.BOARD_GENERATED);
    private Vector scanForBoards(int boardWidth, int boardHeight) {        Vector boards = new Vector();                File boardDir = new File("data/boards");                // just a check...        if (!boardDir.isDirectory()) {            return boards;        }                // scan files        String[] fileList = boardDir.list();        com.sun.java.util.collections.Vector tempList = new com.sun.java.util.collections.Vector();        com.sun.java.util.collections.Comparator sortComp = StringUtil.stringComparator();        for (int i = 0; i < fileList.length; i++) {            if (fileList[i].indexOf(".board") == -1) {                continue;            }            if (Board.boardIsSize(fileList[i], boardWidth, boardHeight)) {                tempList.addElement(fileList[i].substring(0, fileList[i].lastIndexOf(".board")));            }        }                // if there are any boards, add these:        if (tempList.size() > 0) {            boards.addElement( MapSettings.BOARD_RANDOM );            boards.addElement( MapSettings.BOARD_SURPRISE );            com.sun.java.util.collections.Collections.sort(tempList, sortComp);            for ( int loop = 0; loop < tempList.size(); loop++ ) {                boards.addElement( tempList.elementAt(loop) );            }        }                //TODO: alphabetize files?                return boards;    }