if (game.getPhase() != Game.PHASE_SET_ARTYAUTOHITHEXES) {
if (game.getPhase() != IGame.PHASE_SET_ARTYAUTOHITHEXES) {
    private void receiveArtyAutoHitHexes(Packet packet, int connId) {        Vector artyAutoHitHexes = (Vector) packet.getObject(0);        Integer playerId = (Integer)artyAutoHitHexes.firstElement();        artyAutoHitHexes.removeElementAt(0);        // is this the right phase?        if (game.getPhase() != Game.PHASE_SET_ARTYAUTOHITHEXES) {            System.err.println("error: server got set artyautohithexespacket in wrong phase");            return;        }        game.getPlayer(playerId.intValue()).setArtyAutoHitHexes(artyAutoHitHexes);        endCurrentTurn(null);    }