static void encodeDeltaInt( int[] intDictionary, DataOutputBlobWriter writer, long pmapHeader, int bitMask, int idx, int value) { if (0 == (pmapHeader & bitMask)) { DataOutputBlobWriter.writePackedInt(writer, value - intDictionary[idx]); intDictionary[idx] = value; } }