@Override
      protected TextRange getOccurrenceRange(Object occurrence) {
        return IntroduceHandler.this.getOccurrenceRange(occurrence);
      }
@Override
      protected TextRange getOccurrenceRange(Object occurrence)