public void incMMN(Federation fed){
		if(fed.getNum_MMNs() == fed.getNum_nodes())
			return;
		Random rand = new Random();
		int id;
		while(true){
			id = fed.nodes.get(rand.nextInt(fed.nodes.size()));
			for(int i = 0; i < fed.MMNs.size(); i++){
				if(fed.MMNs.get(i) == id)
					continue;
			}
			fed.MMNs.add(id);
			fed.setNum_MMNs(fed.getNum_MMNs() + 1);
			break;
		}
	}