make TaskManager.users a String[] rather than a User[]