public void jumpTo(int location) throws IOException { if (location > position) { skipBytes(location - position); } else { dis.reset(); position = 0; skipBytes(location); } }