On 08/10/2013 12:42, Paul Sandoz wrote: > Hi, > > The following patch is a minor clarification to the documentation of Spliterator.characteristics(): > > http://hg.openjdk.java.net/lambda/lambda/jdk/rev/653d17f35169 > > Paul. > This looks okay to me. -Alan.