users = new User[0];
	void loadUsers() {		String filename = usersFileName;		log("Loading " + filename);		BufferedReader dataFileReader;		try {			dataFileReader = new BufferedReader(new FileReader(new File(sephiadir, filename)));		} catch (IOException ioe) {			logerror("Couldn't find users file: " + sephiadir + "/" + filename + " no users loaded.");			users = new User[0];			return;  //Assume no datafile has been created if it doesn't exist		}		try {			Vector newUserList = new Vector();			while (dataFileReader.ready()) {				String line = dataFileReader.readLine();				StringTokenizer tok = new StringTokenizer(line, " ");				if (line.startsWith("//") || !tok.hasMoreElements())					continue;				String userName = tok.nextToken(" ");				//If there are no elements, throw a WTFException and continue blindly.				if (!tok.hasMoreElements())					continue;				String password = tok.nextToken(" ");				//If there are no elements, throw a WTFException and continue blindly.				if (!tok.hasMoreElements())					continue;				String memberTypeString = tok.nextToken("").trim();				int memberType = User.USER_MEMBER;				if (memberTypeString.equalsIgnoreCase("admin"))					memberType = User.USER_ADMIN;				User newUser = new User(userName, password, memberType);				newUserList.add(newUser);			}			users = new User[newUserList.size()];			users = (User[])newUserList.toArray(users);			log(users.length + " users loaded.");		} catch (IOException ioe) {			logerror("Couldn't read data file " + filename + ".");		}	}