212             length++;

   212             length++;

   213         } while (value > 0);

   213         } while (value > 0);

   214         return length;

   214         return length;

   215     }

   215     }

   216 

   216 

   218 

   218 

   219     private void writeVarInt(byte[] data, int off, long value) {

   219     private void writeVarInt(byte[] data, int off, long value) {

   220         int shift=63; // number of bitwise left-shifts of mask

   220         int shift=63; // number of bitwise left-shifts of mask

   221         // first screen out leading zeros

   221         // first screen out leading zeros

   222         while ((shift > 0) && ((value & (mask << shift)) == 0)) shift-=7;

   222         while ((shift > 0) && ((value & (mask << shift)) == 0)) shift-=7;