public void addUser(User user) {
			if (userList.contains(user))
				return;
			if (!hasSeen(user.getUserID()))
				hasSeen.add(user.getUserID());
			user.setRank(getRank(user));
			if (fileManager != null)
				user.save(fileManager);
			userList.add(user);
		}