6516099: InputStream.skipFully(int k) to skip exactly k bytes

[Brian Burkhalter]

Hello again,

I updated the patch to address the comments made by Roger and Daniel:

http://cr.openjdk.java.net/~bpb/6516099/webrev.05/

Specifically, the method is implemented in terms of skip() and read() and attempts to account for the possible behaviors of the former, and most of the specification is moved to an @implSpec block.

The tests are intentionally not updated until such time as agreement on the method itself might be achieved.

Thanks,

Brian