boardListeners.addElement(listener);
if (!boardListeners.contains(listener)) { boardListeners.addElement(listener); }
    public void addBoardViewListener(BoardViewListener listener) {        boardListeners.addElement(listener);    }