updateFlipArms(false);
    public void boardHexMoused(BoardEvent b) {        // ignore buttons other than 1        if (!client.isMyTurn() || (b.getModifiers() & MouseEvent.BUTTON1_MASK) == 0) {            return;        }        // check for shifty goodness        if (shiftheld != ((b.getModifiers() & MouseEvent.SHIFT_MASK) != 0)) {            shiftheld = (b.getModifiers() & MouseEvent.SHIFT_MASK) != 0;        }                if (b.getType() == b.BOARD_HEX_DRAGGED) {            if (shiftheld || twisting) {                torsoTwist(b.getCoords());            }            client.game.board.cursor(b.getCoords());        } else if (b.getType() == b.BOARD_HEX_CLICKED) {            twisting = false;            client.game.board.select(b.getCoords());        }    }