public Fragment shift(TextRange range1, TextRange range2, int startingLine1, int startingLine2) {
   return new InlineFragment(
       myType,
       LineFragment.shiftRange(range1, myRange1),
       LineFragment.shiftRange(range2, myRange2));
 }