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);
}