@Override public void resolveRenaming(String oldId, String newId) { super.resolveRenaming(oldId, newId); targetString.set(Function.repairTarget(oldId, newId, targetString.get())); if (targetString.get() != null) { resetTargets(); } }