iterator.setIndex(save + ampersand_tag.length() - 1); } else { result.append("&");
iterator.setIndex(save + ampersand_tag.length() - 1); } else { result.append("&");
i.setIndex(savedIndex); // Give derived augmentations the same starting point return StringCharacterIterator.DONE;
i.setIndex(savedIndex); // Give derived augmentations the same starting point return StringCharacterIterator.DONE;