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