public void updateObjDetails(JObjective obj, String name){
		//if there is a change in objective name
		if(!obj.getName().equals(name))
			for (int i=0; i<alts.size(); i++){			
					HashMap temp = (HashMap)alts.get(i);
					temp.put(obj.getName(), temp.get(name));
					temp.remove(name);
			}		
		//changes in objective details
		for (int i=0; i<all_objs.size(); i++){
			if ((all_objs.get(i).toString()).equals(obj.getName()) ||
					(all_objs.get(i).toString()).equals(name)){
				all_objs.remove(i);
				all_objs.add(obj);
				return;
			}				
		}
	}