@Override
 public void save(final DataOutput out, @NotNull final SerializedStubTree v)
     throws IOException {
   v.write(out);
 }