hg: lambda/lambda/jdk: rename Stream.skip() parameter in a few places that got missed.

[mike.duigou at oracle.com]

Changeset: f145d19e384a
Author:    mduigou
Date:      2013-10-15 11:11 -0700
URL:       http://hg.openjdk.java.net/lambda/lambda/jdk/rev/f145d19e384a

rename Stream.skip() parameter in a few places that got missed.

! src/share/classes/java/util/stream/DoublePipeline.java
! src/share/classes/java/util/stream/DoubleStream.java
! src/share/classes/java/util/stream/IntPipeline.java
! src/share/classes/java/util/stream/LongPipeline.java
! src/share/classes/java/util/stream/ReferencePipeline.java