code: public String[] getAllUsers()
  	{
  		String[] users = new String[allUsers.size()];
  		allUsers.toArray(users);
  		return users;
  	}
docs: <p>Getter for the field <code>allUsers</code>.</p>
  
  @return an array of {@link java.lang.String} objects.