Fix for a bug causing a ConcurrentModificationException in launchMany