+1
On 6/2/2016 5:48 PM, Brian Burkhalter wrote:
Please review at your convenience this API doc-only change: Issue: https://bugs.openjdk.java.net/browse/JDK-8136738 Patch: http://cr.openjdk.java.net/~bpb/8136738/webrev.00/ Summary: Try to make the specification of InputStream.skip() slightly more precise. Thanks, Brian