in src/main/java/org/jetbrains/jetCheck/DataSerializer.java [14:28]
private static int readINT(ByteArrayInputStream record) {
int val = readWithEof(record);
if (val < 192) {
return val;
}
int res = val - 192;
for (int sh = 6; ; sh += 7) {
int next = readWithEof(record);
res |= (next & 0x7F) << sh;
if ((next & 0x80) == 0) {
return res;
}
}
}