Both the methods 'deleteTagPrefix(String newDst)' and 'deleteHeadsPrefix(String newDst)' are very similar. I think it would be better to just have one method for that: 'deletePrefix(String prefix, String newDst)'. Even better would be if this method could remove several prefixes at once: 'deletePrefix(String prefix..., String newDst)'