bugfix in ASoftlyLimitedQueue.addAll