+ ",length:" + this.length + ",src:" + getSource() + ",path:"
+ this.path + ")";
}
public IActivity getActivity(ISarosSession sarosSession) {
return new TextSelectionActivity(sarosSession.getUser(source), offset,
length, path.toSPath(sarosSession));
}