268269270271272273274275276277278
User user = new User(); user.readExternal( in ); list.add( user ); } else { Group group = new Group(); group.readExternal( in ); list.add( group ); } } return list; }