Description
Given a test case [1].
If SKIP_VALUE<=5, all of HDK and HY6VM25+ and RI pass the test;
else both HDK and HY6VM25+ throw IOException [2] but RI also passes this.
[1] Test Case:
public void test_skipJ() throws IOException
[2] java.io.IOException: Mark has been invalidated.
at java.io.BufferedInputStream.reset(BufferedInputStream.java:324)