protected String getReplacement(ITextSegment region, String replacement) { String string = region.getText(); if (Strings.equal(string, replacement)) return "<" + region.getOffset() + "|" + replacement + ">"; return "<" + region.getOffset() + ":" + region.getLength() + "|" + replacement + ">"; }