375376377378379380381382383384385
if (v == 0) { PositionSize info; if (!input.isEOF()) { int utflen = input.readUnsignedShort(); if (utflen != input.skipBytes(utflen)) throw new EOFException(); info = new PositionSize(position, input.readLong() - position); } else
376377378379380381382383384385386