Integer playerId = (Integer)artyAutoHitHexes.get(0);
Integer playerId = (Integer)artyAutoHitHexes.firstElement();
    private void receiveArtyAutoHitHexes(Packet packet, int connId) {        Vector artyAutoHitHexes = (Vector) packet.getObject(0);                Integer playerId = (Integer)artyAutoHitHexes.get(0);        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);    }