The implementation with the addAll() method seems to work