@Override
  public void save(final @NotNull DataOutput out, final @NotNull StubIdList value) throws IOException {
    int size = value.size();
    if (size == 0) {
      DataInputOutputUtil.writeINT(out, Integer.MAX_VALUE);
    }
    else if (size == 1) {
      DataInputOutputUtil.writeINT(out, value.get(0)); // most often case
    }
    else {
      DataInputOutputUtil.writeINT(out, -size);
      for (int i = 0; i < size; ++i) {
        DataInputOutputUtil.writeINT(out, value.get(i));
      }
    }
  }
@Override
  public void save(final @NotNull DataOutput out, final @NotNull StubIdList value)