void function ( int arg0 ) { extraArmies = extraArmies - arg0 ; }
minus the number of armies from the player 's extra armies concode_field_sep int PLAYER_AI_AVERAGE concode_elem_sep Country capital concode_elem_sep int PLAYER_HUMAN concode_elem_sep String address concode_elem_sep boolean autoendgo concode_elem_sep int color concode_elem_sep Statistic currentStatistic concode_elem_sep Vector playersEliminated concode_elem_sep long serialVersionUID concode_elem_sep int type concode_elem_sep Vector Statistics concode_elem_sep int PLAYER_AI_HARD concode_elem_sep int noaFORcard concode_elem_sep Mission mission concode_elem_sep int PLAYER_AI_EASY concode_elem_sep String name concode_elem_sep Vector territoriesOwned concode_elem_sep int PLAYER_AI_CRAP concode_elem_sep Vector cardsOwned concode_elem_sep int extraArmies concode_elem_sep boolean autodefend concode_field_sep int getNoArmies concode_elem_sep void addPlayersEliminated concode_elem_sep String getName concode_elem_sep double[] getStatistics concode_elem_sep List<Statistic> getStatistics concode_elem_sep Country getCapital concode_elem_sep void addArmies concode_elem_sep void tradeInCards concode_elem_sep void setCapital concode_elem_sep int getExtraArmies concode_elem_sep void giveCard concode_elem_sep Vector getCards concode_elem_sep Vector getPlayersEliminated concode_elem_sep String getAddress concode_elem_sep void newCountry concode_elem_sep Mission getMission concode_elem_sep void setAutoDefend concode_elem_sep void setAddress concode_elem_sep void setAutoEndGo concode_elem_sep int getColor concode_elem_sep void setType concode_elem_sep Vector getTerritoriesOwned concode_elem_sep int getNoTerritoriesOwned concode_elem_sep boolean isAlive concode_elem_sep void setColor concode_elem_sep void rename concode_elem_sep int getType concode_elem_sep void nextTurn concode_elem_sep void setMission concode_elem_sep String toString concode_elem_sep void lostCountry concode_elem_sep boolean getAutoDefend concode_elem_sep Card takeCard concode_elem_sep boolean getAutoEndGo