Making getAllUsers() return list instead of Set so that same JSON
parsing works for all REST calls..