RFR 9: 8155808: Process.getInputStream().skip() method is faulty

[Roger Riggs]

A latent issue with Process InputStreams support for the skip method was 
reported[1].

Though the InputStream returned is a BufferedInputStream, in some cases,
the skip method calls FileInputStream.seek on the pipe containing output
from the process but the pipes do not support seek.  The proposed fix is 
to override
the skip method to implement skip as reading the bytes instead of 
invoking seek.

Please review and comment:

Webrev:

http://cr.openjdk.java.net/~rriggs/webrev-skip-8155808/index.html

Issue:

   [1] https://bugs.openjdk.java.net/browse/JDK-8155808

Thanks, Roger