if (!p.hasMinefields()) { butDone.setEnabled(true); }
    private void beginMyTurn() {		setConventionalEnabled(p.getNbrMFConventional());		setCommandEnabled(p.getNbrMFCommand());		setVibrabombEnabled(p.getNbrMFVibra());    }