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