22252226222722282229223022312232223322342235
http_seeds.addAll( new_seeds ); while( http_seeds.size() > HTTP_SEEDS_MAX ){ ExternalSeedPeer x = http_seeds.removeFirst(); to_remove.add( x ); } }