}
return (AdminNode[])list.toArray(EmptyAdminNodes);
}
case RoleNode.USER: {
String[] roles = manager.listRolesForUser(userID);
AdminNode[] list = new AdminNode[roles.length];
for ( int i = 0; i < roles.length; i++ )
list[i] = new RoleNode(this, col, roles[i], RoleNode.USER, userID);
return list;
}