public void read(RPCInputStream in) throws RPCException, IOException {
   editHnd = in.readInt();
   pos.read(in);
   len = in.readInt();
   text = in.readString();
 }
 public void write(RPCOutputStream out) throws RPCException, IOException {
   out.writeInt(editHnd);
   pos.write(out);
   out.writeInt(len);
   out.writeString(text);
 }