+ @Override
+ public void skip(DataInput raf, int index) throws IOException {
+ final int size;
+ if (dictionary.dictFileVersion >= 7)
+ {
+ StringUtil.readVarInt(raf);
+ size = StringUtil.readVarInt(raf);
+ }
+ else
+ {
+ raf.skipBytes(2);
+ size = raf.readInt();
+ }
+ for (int i = 0; i < 2*size; ++i) {
+ int l = raf.readUnsignedShort();
+ raf.skipBytes(l);
+ }
+ }
+