Collections.emptyList().spliterator() is not ORDERED

2015-09-06 Thread Tagir F. Valeev
Hello! As Paul Sandoz pointed out in the "Custom spliterator for Collections.nCopies(n, obj).stream()" discussion, the List.spliterator() is specified to be ORDERED. However Collections.emptyList().spliterator() violates this specification: System.out.println(Collections.emptyList() .spliterato

Re: JDK-7198513

2015-09-06 Thread Claes Redestad
[+core-libs-dev] Hi, bug database cleanup workflow: I guess raising the issue on the appropriate mailing list (which for j.u.Formatter happens to be core-libs-dev) and getting someone on that list with write access to JBS to review and update the bug is as good as any. Knowing which mailing lis